# HG changeset patch
# User wenzelm
# Date 1158700536 -7200
# Node ID 30da2841553ecef467376a6c2d98b493fd7f81c8
# Parent  f5700d8ed07029192991defb8867b1f97a69ea0a
revert to previous version;

diff -r f5700d8ed070 -r 30da2841553e src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Tue Sep 19 23:15:35 2006 +0200
+++ b/src/Pure/Pure.thy	Tue Sep 19 23:15:36 2006 +0200
@@ -10,6 +10,7 @@
 
 setup  -- {* Common setup of internal components *}
 
+
 subsection {* Meta-level connectives in assumptions *}
 
 lemma meta_mp: