--- a/Makefile Fri Aug 19 11:19:14 1994 +0200
+++ b/Makefile Fri Aug 19 11:25:16 1994 +0200
@@ -19,9 +19,10 @@
BIN = $(ISABELLEBIN)
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 \
+ Set.thy Set.ML Fun.thy Fun.ML subset.thy subset.ML \
+ equalities.thy equalities.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 \
+ mono.thy mono.ML Lfp.thy Lfp.ML Gfp.thy Gfp.ML Nat.thy Nat.ML \
Arith.thy Arith.ML Sexp.thy Sexp.ML Univ.thy Univ.ML \
LList.thy LList.ML List.thy List.ML \
Datatype.ML \