--- 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