--- 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