diff -r 666de5708ae8 -r 5f764272183e src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Tue Jun 06 20:42:30 2006 +0200
+++ b/src/Pure/Pure.thy	Tue Jun 06 20:47:12 2006 +0200
@@ -1,7 +1,5 @@
 (*  Title:      Pure/Pure.thy
     ID:         $Id$
-
-The Pure theory.
 *)
 
 header {* The Pure theory *}
@@ -9,7 +7,7 @@
 theory Pure
 imports ProtoPure
 begin
-ML{*set Toplevel.debug*}
+
 setup  -- {* Common setup of internal components *}