src/Pure/Pure.thy

--- a/src/Pure/Pure.thy	Tue Jun 06 09:28:24 2006 +0200
+++ b/src/Pure/Pure.thy	Tue Jun 06 10:05:57 2006 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/Pure.thy
     ID:         $Id$
 
-The actual Pure theory.
+The Pure theory.
 *)
 
 header {* The Pure theory *}
@@ -9,7 +9,7 @@
 theory Pure
 imports ProtoPure
 begin
-
+ML{*set Toplevel.debug*}
 setup  -- {* Common setup of internal components *}