--- a/src/Pure/Isar/ROOT.ML Tue Jul 10 23:29:35 2007 +0200
+++ b/src/Pure/Isar/ROOT.ML Tue Jul 10 23:29:38 2007 +0200
@@ -71,6 +71,7 @@
use "session.ML";
use "../old_goals.ML";
use "outer_syntax.ML";
+use "../Thy/thy_edit.ML";
(*theory and proof operations*)
use "rule_insts.ML";