src/Pure/tactic.ML
changeset 68825 8207c67d9ef4
parent 67721 5348bea4accd
child 69101 991a3feaf270
     1.1 --- a/src/Pure/tactic.ML	Mon Aug 27 22:58:36 2018 +0200
     1.2 +++ b/src/Pure/tactic.ML	Tue Aug 28 10:58:43 2018 +0200
     1.3 @@ -28,7 +28,6 @@
     1.4    val ematch_tac: Proof.context -> thm list -> int -> tactic
     1.5    val dmatch_tac: Proof.context -> thm list -> int -> tactic
     1.6    val flexflex_tac: Proof.context -> tactic
     1.7 -  val distinct_subgoal_tac: int -> tactic
     1.8    val distinct_subgoals_tac: tactic
     1.9    val cut_tac: thm -> int -> tactic
    1.10    val cut_rules_tac: thm list -> int -> tactic