tuned;
authorwenzelm
Fri Feb 05 21:02:17 1999 +0100 (1999-02-05)
changeset 62423d75f5a99f60
parent 6241 d3c6184ca6c5
child 6243 fb293dfa2df3
tuned;
src/Pure/Isar/ROOT.ML
     1.1 --- a/src/Pure/Isar/ROOT.ML	Fri Feb 05 21:01:53 1999 +0100
     1.2 +++ b/src/Pure/Isar/ROOT.ML	Fri Feb 05 21:02:17 1999 +0100
     1.3 @@ -20,14 +20,16 @@
     1.4  (*interactive subsystem*)
     1.5  use "proof_history.ML";
     1.6  use "toplevel.ML";
     1.7 -use "outer_syntax.ML";
     1.8  
     1.9 -(*theory operations and syntax*)
    1.10 +(*theory operations*)
    1.11  use "isar_thy.ML";
    1.12  use "isar_cmd.ML";
    1.13 +
    1.14 +(*theory syntax*)
    1.15 +use "outer_syntax.ML";
    1.16  use "isar_syn.ML";
    1.17  
    1.18 -(*main interface*)
    1.19 +(*main ML interface*)
    1.20  use "isar.ML";
    1.21  
    1.22  structure PureIsar =