src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Oct 19 21:52:38 2005 +0200
+++ b/src/Pure/ROOT.ML	Wed Oct 19 21:52:40 2005 +0200
@@ -61,11 +61,6 @@
 use "Thy/thy_load.ML";
 use "Thy/thy_info.ML";
 
-(*theory syntax -- old format*)
-use "Thy/thy_scan.ML";
-use "Thy/thy_parse.ML";
-use "Thy/thy_syn.ML";
-
 (*theory syntax -- new format*)
 use "Isar/outer_lex.ML";