# HG changeset patch
# User clasohm
# Date 767179658 -7200
# Node ID 9459592608e26a85f6ab0b64f1b1dc17ca1a7fe8
# Parent  44b82132fe8243c494ca32c72b9aaf9951419dce
renamed theory files

diff -r 44b82132fe82 -r 9459592608e2 Makefile
--- a/Makefile	Fri Apr 22 21:23:14 1994 +0200
+++ b/Makefile	Sun Apr 24 11:27:38 1994 +0200
@@ -20,10 +20,10 @@
 COMP = $(ISABELLECOMP)
 FILES = ROOT.ML HOL.thy HOL.ML simpdata.ML Ord.thy Ord.ML \
 	fun.ML Set.thy Set.ML subset.ML equalities.ML \
-	Prod.thy Prod.ML Sum.thy Sum.ML Wf.thy Wf.ML \
+	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 \
+	Datatype.ML \
 	../Provers/classical.ML ../Provers/simplifier.ML \
 	../Provers/splitter.ML ../Provers/ind.ML