changeset 30173 | eabece26b89b |
parent 30142 | 8d6145694bb5 |
child 30242 | aea5d7fa7ef5 |
--- a/src/Pure/Isar/ROOT.ML Sat Feb 28 17:09:32 2009 +0100 +++ b/src/Pure/Isar/ROOT.ML Sat Feb 28 18:00:20 2009 +0100 @@ -82,8 +82,6 @@ use "../old_goals.ML"; use "outer_syntax.ML"; use "../Thy/thy_info.ML"; -use "session.ML"; -use "isar.ML"; use "isar_document.ML"; (*theory and proof operations*) @@ -91,3 +89,5 @@ use "../Thy/thm_deps.ML"; use "isar_cmd.ML"; use "isar_syn.ML"; + +