diff -r 5b5bf511fdd5 -r 540fc00ec32b src/HOL/UNITY/Constrains.ML
--- 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