reduced to theory body (cf. OuterSyntax.process_file);
authorwenzelm
Thu Mar 27 14:41:12 2008 +0100 (2008-03-27 ago)
changeset 26426ddac7ef1e991
parent 26425 6561665c5cb1
child 26427 f33d1b522316
reduced to theory body (cf. OuterSyntax.process_file);
src/Pure/Pure.thy
     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