src/Pure/Isar/ROOT.ML
changeset 6346 643a1bd31a91
parent 6242 3d75f5a99f60
child 6549 90fa592f6e6e
--- a/src/Pure/Isar/ROOT.ML	Wed Mar 10 17:24:26 1999 +0100
+++ b/src/Pure/Isar/ROOT.ML	Thu Mar 11 12:32:40 1999 +0100
@@ -9,6 +9,7 @@
 use "proof_context.ML";
 use "proof.ML";
 use "proof_data.ML";
+use "proof_history.ML";
 use "args.ML";
 use "attrib.ML";
 use "method.ML";
@@ -17,9 +18,9 @@
 use "outer_lex.ML";
 use "outer_parse.ML";
 
-(*interactive subsystem*)
-use "proof_history.ML";
+(*toplevel environment*)
 use "toplevel.ML";
+use "session.ML";
 
 (*theory operations*)
 use "isar_thy.ML";