--- a/src/HOL/BNF/Examples/Derivation_Trees/Parallel.thy Tue Oct 16 18:05:28 2012 +0200
+++ b/src/HOL/BNF/Examples/Derivation_Trees/Parallel.thy Tue Oct 16 18:07:59 2012 +0200
@@ -146,8 +146,4 @@
thus ?thesis by blast
qed
-
-
-
-
end
\ No newline at end of file