author | clasohm |
Mon, 20 Jun 1994 12:13:08 +0200 | |
changeset 431 | da3d07d4349b |
parent 430 | 89e1986125fe |
child 432 | 0d1071ac599c |
--- 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";