src/HOL/BNF/Examples/Derivation_Trees/Prelim.thy

--- a/src/HOL/BNF/Examples/Derivation_Trees/Prelim.thy	Tue Oct 16 18:05:28 2012 +0200
+++ b/src/HOL/BNF/Examples/Derivation_Trees/Prelim.thy	Tue Oct 16 18:07:59 2012 +0200
@@ -62,6 +62,4 @@
 shows "A = B"
 apply safe using assms apply(case_tac x, auto) by(case_tac x, auto)
 
-
-
 end
\ No newline at end of file