# HG changeset patch
# User nipkow
# Date 770452092 -7200
# Node ID 8039ac1065f7aca9e43329da4c94321b1974e1ca
# Parent  4d4e0442b106490a3a0195e20cd6a4fb8bf9ce2d
reflected changes in the structure of Thy

diff -r 4d4e0442b106 -r 8039ac1065f7 src/Pure/Makefile
--- a/src/Pure/Makefile	Tue May 31 13:17:41 1994 +0200
+++ b/src/Pure/Makefile	Wed Jun 01 08:28:12 1994 +0200
@@ -29,7 +29,7 @@
 	Syntax/pretty.ML	Syntax/printer.ML	Syntax/syntax.ML\
 	Syntax/earley0A.ML	Syntax/syn_ext.ML
 
-THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/syntax.ML Thy/read.ML
+THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/thy_scan.ML Thy/thy_parse.ML Thy/thy_read.ML
 
 #Uses cp rather than make_database because Poly/ML allows only 3 levels
 $(BIN)/Pure:   $(FILES)  $(SYNTAX_FILES)  $(THY_FILES)  $(ML_DBASE)