--- a/src/Pure/ROOT.ML Tue Jan 31 17:48:28 2006 +0100
+++ b/src/Pure/ROOT.ML Tue Jan 31 18:19:25 2006 +0100
@@ -63,7 +63,7 @@
use "Thy/thy_load.ML";
use "Thy/thy_info.ML";
-(*theory syntax -- new format*)
+(*theory syntax*)
use "Isar/outer_lex.ML";
(*theory presentation*)