src/HOL/Decision_Procs/langford.ML

--- a/src/HOL/Decision_Procs/langford.ML	Tue Feb 23 16:25:08 2016 +0100
+++ b/src/HOL/Decision_Procs/langford.ML	Tue Feb 23 16:41:14 2016 +0100
@@ -260,4 +260,4 @@
       THEN Object_Logic.full_atomize_tac ctxt i
       THEN CONVERSION (Object_Logic.judgment_conv ctxt (raw_dlo_conv ctxt ss instance)) i
       THEN (simp_tac (put_simpset ss ctxt) i)));
-end;
\ No newline at end of file
+end;