# HG changeset patch
# User nipkow
# Date 764356065 -3600
# Node ID 38e2eaa2219ffa8953c7289b46ad199a7425e8f1
# Parent  1322cef1a4d88a00beb8bd6fc0c9ebb09b6c8126
added dependency on datatype.ML

diff -r 1322cef1a4d8 -r 38e2eaa2219f Makefile
--- 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