--- a/src/Pure/Pure.thy Tue Sep 19 15:21:58 2006 +0200
+++ b/src/Pure/Pure.thy Tue Sep 19 15:22:03 2006 +0200
@@ -10,7 +10,6 @@
setup -- {* Common setup of internal components *}
-
subsection {* Meta-level connectives in assumptions *}
lemma meta_mp: