removed Toplevel.debug;
authorwenzelm
Tue Jun 06 20:47:12 2006 +0200 (2006-06-06)
changeset 198005f764272183e
parent 19799 666de5708ae8
child 19801 b2af2549efd1
removed Toplevel.debug;
src/Pure/Pure.thy
     1.1 --- a/src/Pure/Pure.thy	Tue Jun 06 20:42:30 2006 +0200
     1.2 +++ b/src/Pure/Pure.thy	Tue Jun 06 20:47:12 2006 +0200
     1.3 @@ -1,7 +1,5 @@
     1.4  (*  Title:      Pure/Pure.thy
     1.5      ID:         $Id$
     1.6 -
     1.7 -The Pure theory.
     1.8  *)
     1.9  
    1.10  header {* The Pure theory *}
    1.11 @@ -9,7 +7,7 @@
    1.12  theory Pure
    1.13  imports ProtoPure
    1.14  begin
    1.15 -ML{*set Toplevel.debug*}
    1.16 +
    1.17  setup  -- {* Common setup of internal components *}
    1.18  
    1.19