# HG changeset patch
# User lcp
# Date 787595894 -3600
# Node ID 31ec33d9623129df79a503c1e0ed897ff75c3d77
# Parent  713efca1f0aaf60e70de66ae9440993181efe3f4
added thy_syntax.ML

diff -r 713efca1f0aa -r 31ec33d96231 src/ZF/Makefile
--- a/src/ZF/Makefile	Fri Dec 16 17:36:50 1994 +0100
+++ b/src/ZF/Makefile	Fri Dec 16 17:38:14 1994 +0100
@@ -19,7 +19,7 @@
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
 FILES = ROOT.ML ZF.thy ZF.ML upair.thy upair.ML subset.thy subset.ML \
-	pair.thy pair.ML domrange.thy domrange.ML \
+	thy_syntax.ML pair.thy pair.ML domrange.thy domrange.ML \
 	func.thy func.ML AC.thy AC.ML simpdata.thy simpdata.ML\
 	equalities.thy equalities.ML Bool.thy Bool.ML \
 	Sum.thy Sum.ML QPair.thy QPair.ML mono.ML Fixedpt.thy Fixedpt.ML \