--- a/src/Pure/Isar/ROOT.ML Tue Feb 12 20:34:02 2002 +0100
+++ b/src/Pure/Isar/ROOT.ML Tue Feb 12 20:35:35 2002 +0100
@@ -30,7 +30,6 @@
(*outer syntax*)
(*use "outer_lex.ML";*) (*see ../Thy/ROOT.ML*)
use "antiquote.ML";
-use "comment.ML";
use "outer_parse.ML";
(*toplevel environment*)
@@ -67,7 +66,6 @@
structure SkipProof = SkipProof;
structure OuterLex = OuterLex;
structure Antiquote = Antiquote;
- structure Comment = Comment;
structure OuterParse = OuterParse;
structure Toplevel = Toplevel;
structure Session = Session;