parse.ML and scan.ML are now replaced by thy_parse.ML and thy_scan.ML

--- a/src/Pure/Thy/ROOT.ML	Mon Jun 20 12:03:16 1994 +0200
+++ b/src/Pure/Thy/ROOT.ML	Mon Jun 20 12:13:08 1994 +0200
@@ -6,10 +6,6 @@
 This file builds the theory parser and autoloading system.
 *)
 
-(* FIXME remove (still needed by HOL/Datatype.ML) *)
-use "scan.ML"; use "parse.ML";
-
-
 use "thy_scan.ML";
 use "thy_parse.ML";