src/HOL/UNITY/Constrains.ML
changeset 6741 540fc00ec32b
parent 6739 66e4118eead9
child 7403 c318acb88251
--- a/src/HOL/UNITY/Constrains.ML	Thu May 27 11:22:10 1999 +0200
+++ b/src/HOL/UNITY/Constrains.ML	Thu May 27 11:39:44 1999 +0200
@@ -349,6 +349,3 @@
 	      REPEAT (FIRSTGOAL (etac disjE)),
 	      ALLGOALS Clarify_tac,
 	      ALLGOALS Asm_full_simp_tac]) i;
-
-
-leadsTo_wf_induct
\ No newline at end of file