src/Pure/Pure.thy
changeset 20596 3950e65f48f8
parent 19800 5f764272183e
child 20627 30da2841553e
--- 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: