--- a/src/Pure/ROOT.ML Wed Sep 01 22:59:11 2010 +0200
+++ b/src/Pure/ROOT.ML Wed Sep 01 23:03:31 2010 +0200
@@ -238,7 +238,6 @@
use "Thy/term_style.ML";
use "Thy/thy_output.ML";
use "Thy/thy_syntax.ML";
-use "old_goals.ML";
use "Isar/outer_syntax.ML";
use "PIDE/document.ML";
use "Thy/thy_info.ML";