Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/tactic.ML
changeset 68825 8207c67d9ef4
parent 67721 5348bea4accd
child 69101 991a3feaf270 
--- a/src/Pure/tactic.ML	Mon Aug 27 22:58:36 2018 +0200
+++ b/src/Pure/tactic.ML	Tue Aug 28 10:58:43 2018 +0200
@@ -28,7 +28,6 @@
   val ematch_tac: Proof.context -> thm list -> int -> tactic
   val dmatch_tac: Proof.context -> thm list -> int -> tactic
   val flexflex_tac: Proof.context -> tactic
-  val distinct_subgoal_tac: int -> tactic
   val distinct_subgoals_tac: tactic
   val cut_tac: thm -> int -> tactic
   val cut_rules_tac: thm list -> int -> tactic
isabelle