# HG changeset patch
# User wenzelm
# Date 771152360 -7200
# Node ID e5470bf81350b17c1a42432e6ae0fbf3fa03956f
# Parent  9dca566d6d96011c51029d50646af1593b20e248
added axclass.ML, Syntax/mixfix.ML, Thy/thy_syn.ML;
removed Syntax/earley0A.ML, Thy/scan.ML, Thy/parse.ML;

diff -r 9dca566d6d96 -r e5470bf81350 src/Pure/Makefile
--- a/src/Pure/Makefile	Wed Jun 01 15:49:46 1994 +0200
+++ b/src/Pure/Makefile	Thu Jun 09 10:59:20 1994 +0200
@@ -22,14 +22,15 @@
 COMP = $(ISABELLECOMP)
 FILES =	POLY.ML NJ.ML ROOT.ML library.ML term.ML symtab.ML type.ML sign.ML\
 	sequence.ML envir.ML pattern.ML unify.ML logic.ML thm.ML net.ML\
-	drule.ML tctical.ML tactic.ML goals.ML install_pp.ML
+	drule.ML tctical.ML tactic.ML goals.ML axclass.ML install_pp.ML
 
 SYNTAX_FILES =  Syntax/ROOT.ML	Syntax/ast.ML		Syntax/lexicon.ML\
 	Syntax/parser.ML	Syntax/type_ext.ML	Syntax/sextension.ML\
 	Syntax/pretty.ML	Syntax/printer.ML	Syntax/syntax.ML\
-	Syntax/earley0A.ML	Syntax/syn_ext.ML
+	Syntax/syn_ext.ML	Syntax/mixfix.ML
 
-THY_FILES = Thy/ROOT.ML Thy/scan.ML Thy/parse.ML Thy/thy_scan.ML Thy/thy_parse.ML Thy/thy_read.ML
+THY_FILES = Thy/ROOT.ML		Thy/thy_scan.ML		Thy/thy_parse.ML\
+	Thy/thy_syn.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)