Mercurial Mercurial > repos > Old_HOL / 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 dependency on datatype.ML
authornipkow
Tue, 22 Mar 1994 18:07:45 +0100
changeset 59 38e2eaa2219f
parent 58 1322cef1a4d8
child 60 43e36c15a831
added dependency on datatype.ML
Makefile file | annotate | diff | comparison | revisions 
--- a/Makefile	Tue Mar 22 08:32:22 1994 +0100
+++ b/Makefile	Tue Mar 22 18:07:45 1994 +0100
@@ -23,6 +23,7 @@
 	prod.thy prod.ML sum.thy sum.ML wf.thy wf.ML \
 	mono.ML lfp.thy lfp.ML gfp.thy gfp.ML nat.thy nat.ML sexp.thy \
 	sexp.ML univ.thy univ.ML llist.thy llist.ML list.thy list.ML \
+	datatype.ML \
 	../Provers/classical.ML ../Provers/simplifier.ML \
 	../Provers/splitter.ML ../Provers/ind.ML
Old_HOL