Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added thy_syntax.ML
authorlcp
Fri, 16 Dec 1994 17:38:14 +0100
changeset 798 31ec33d96231
parent 797 713efca1f0aa
child 799 13aa1e3d8a3a
added thy_syntax.ML
src/ZF/Makefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle