src/Pure/Pure.thy
changeset 19783 82f365a14960
parent 19121 d7fd5415a781
child 19800 5f764272183e
     1.1 --- a/src/Pure/Pure.thy	Tue Jun 06 09:28:24 2006 +0200
     1.2 +++ b/src/Pure/Pure.thy	Tue Jun 06 10:05:57 2006 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      Pure/Pure.thy
     1.5      ID:         $Id$
     1.6  
     1.7 -The actual Pure theory.
     1.8 +The Pure theory.
     1.9  *)
    1.10  
    1.11  header {* The Pure theory *}
    1.12 @@ -9,7 +9,7 @@
    1.13  theory Pure
    1.14  imports ProtoPure
    1.15  begin
    1.16 -
    1.17 +ML{*set Toplevel.debug*}
    1.18  setup  -- {* Common setup of internal components *}
    1.19  
    1.20