--- a/src/Pure/Isar/ROOT.ML Thu Apr 10 00:46:40 2008 +0200
+++ b/src/Pure/Isar/ROOT.ML Thu Apr 10 13:24:11 2008 +0200
@@ -74,6 +74,7 @@
use "session.ML";
use "../old_goals.ML";
use "outer_syntax.ML";
+use "isar.ML";
use "../Thy/thy_edit.ML";
(*theory and proof operations*)