Module Proofutils.TraceTacticsSource

Sourceval typedThen : Backtracking.trace Proofview.tactic -> Backtracking.trace Proofview.tactic -> Backtracking.trace Proofview.tactic
Sourceval typedLongThen : Backtracking.trace Proofview.tactic list -> Backtracking.trace Proofview.tactic
Sourceval typedGoalEnter : (Proofview.Goal.t -> Backtracking.trace Proofview.tactic) -> Backtracking.trace Proofview.tactic
Sourceval typedIndependant : Backtracking.trace Proofview.tactic -> Backtracking.trace Proofview.tactic