# HG changeset patch
# User paulson
# Date 927797984 -7200
# Node ID 540fc00ec32be845a434f34a1c846bc04c20f730
# Parent  5b5bf511fdd5fc7b6c3d6cadde7da3aeb01fd18a
fixed corruptoin of end of file

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