changeset 27837 | dc073b565c56 |
parent 27810 | b09f6fcc1f3d |
child 28697 | 140bfb63f893 |
--- a/src/Pure/Isar/ROOT.ML Tue Aug 12 21:27:51 2008 +0200 +++ b/src/Pure/Isar/ROOT.ML Tue Aug 12 21:27:53 2008 +0200 @@ -78,10 +78,10 @@ (*theory syntax*) use "../Thy/term_style.ML"; use "../Thy/thy_output.ML"; +use "../Thy/thy_edit.ML"; use "../old_goals.ML"; use "outer_syntax.ML"; use "../Thy/thy_info.ML"; -use "../Thy/thy_edit.ML"; use "session.ML"; use "isar.ML";