src/Pure/Pure.thy
changeset 26435 bdce320cd426
parent 26426 ddac7ef1e991
child 26570 dbc458262f4c
     1.1 --- a/src/Pure/Pure.thy	Thu Mar 27 15:32:12 2008 +0100
     1.2 +++ b/src/Pure/Pure.thy	Thu Mar 27 15:32:15 2008 +0100
     1.3 @@ -2,10 +2,7 @@
     1.4      ID:         $Id$
     1.5  *)
     1.6  
     1.7 -section {* The Pure theory *}
     1.8 -
     1.9 -setup  -- {* Common setup of internal components *}
    1.10 -
    1.11 +section {* Further content for the Pure theory *}
    1.12  
    1.13  subsection {* Meta-level connectives in assumptions *}
    1.14