# HG changeset patch
# User clasohm
# Date 772107188 -7200
# Node ID da3d07d4349b20bb822e9879c13b30da6bf37a04
# Parent  89e1986125fe77a03c8646a31f57f8ea4cdaf025
parse.ML and scan.ML are now replaced by thy_parse.ML and thy_scan.ML

diff -r 89e1986125fe -r da3d07d4349b src/Pure/Thy/ROOT.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";