src/Pure/Pure.thy
changeset 26426 ddac7ef1e991
parent 23824 8ad7131dbfcf
child 26435 bdce320cd426
     1.1 --- a/src/Pure/Pure.thy	Thu Mar 27 14:41:10 2008 +0100
     1.2 +++ b/src/Pure/Pure.thy	Thu Mar 27 14:41:12 2008 +0100
     1.3 @@ -2,11 +2,7 @@
     1.4      ID:         $Id$
     1.5  *)
     1.6  
     1.7 -header {* The Pure theory *}
     1.8 -
     1.9 -theory Pure
    1.10 -imports ProtoPure
    1.11 -begin
    1.12 +section {* The Pure theory *}
    1.13  
    1.14  setup  -- {* Common setup of internal components *}
    1.15  
    1.16 @@ -103,4 +99,3 @@
    1.17    qed
    1.18  qed
    1.19  
    1.20 -end