cannot use section before setup;
authorwenzelm
Wed Feb 15 21:34:59 2006 +0100 (2006-02-15)
changeset 190482b875dd5eb4c
parent 19047 670ce193b618
child 19049 2103a8e14eaa
cannot use section before setup;
src/Pure/CPure.thy
src/Pure/Pure.thy
     1.1 --- a/src/Pure/CPure.thy	Wed Feb 15 21:34:57 2006 +0100
     1.2 +++ b/src/Pure/CPure.thy	Wed Feb 15 21:34:59 2006 +0100
     1.3 @@ -8,8 +8,6 @@
     1.4  imports Pure
     1.5  begin
     1.6  
     1.7 -subsection {* Specific modifications, see ROOT.ML *}
     1.8 -
     1.9 -setup
    1.10 +setup  -- {* Some syntax modifications, see ROOT.ML *}
    1.11  
    1.12  end
     2.1 --- a/src/Pure/Pure.thy	Wed Feb 15 21:34:57 2006 +0100
     2.2 +++ b/src/Pure/Pure.thy	Wed Feb 15 21:34:59 2006 +0100
     2.3 @@ -10,9 +10,7 @@
     2.4  imports ProtoPure
     2.5  begin
     2.6  
     2.7 -subsection {* Common setup of internal components *}
     2.8 -
     2.9 -setup
    2.10 +setup  -- {* Common setup of internal components *}
    2.11  
    2.12  
    2.13  subsection {* Meta-level connectives in assumptions *}