diff -r 5b96b1252cdc -r 93dc86ccee28 Makefile
--- 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 \