eliminated Pure/Isar/comment.ML;

--- 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;