src/Pure/Isar/ROOT.ML
changeset 6346 643a1bd31a91
parent 6242 3d75f5a99f60
child 6549 90fa592f6e6e
     1.1 --- a/src/Pure/Isar/ROOT.ML	Wed Mar 10 17:24:26 1999 +0100
     1.2 +++ b/src/Pure/Isar/ROOT.ML	Thu Mar 11 12:32:40 1999 +0100
     1.3 @@ -9,6 +9,7 @@
     1.4  use "proof_context.ML";
     1.5  use "proof.ML";
     1.6  use "proof_data.ML";
     1.7 +use "proof_history.ML";
     1.8  use "args.ML";
     1.9  use "attrib.ML";
    1.10  use "method.ML";
    1.11 @@ -17,9 +18,9 @@
    1.12  use "outer_lex.ML";
    1.13  use "outer_parse.ML";
    1.14  
    1.15 -(*interactive subsystem*)
    1.16 -use "proof_history.ML";
    1.17 +(*toplevel environment*)
    1.18  use "toplevel.ML";
    1.19 +use "session.ML";
    1.20  
    1.21  (*theory operations*)
    1.22  use "isar_thy.ML";