src/Pure/Pure.thy
changeset 19048 2b875dd5eb4c
parent 18836 3a1e4ee72075
child 19121 d7fd5415a781
     1.1 --- a/src/Pure/Pure.thy	Wed Feb 15 21:34:57 2006 +0100
     1.2 +++ b/src/Pure/Pure.thy	Wed Feb 15 21:34:59 2006 +0100
     1.3 @@ -10,9 +10,7 @@
     1.4  imports ProtoPure
     1.5  begin
     1.6  
     1.7 -subsection {* Common setup of internal components *}
     1.8 -
     1.9 -setup
    1.10 +setup  -- {* Common setup of internal components *}
    1.11  
    1.12  
    1.13  subsection {* Meta-level connectives in assumptions *}