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";