--- a/src/ZF/Makefile Mon Oct 11 13:58:22 1993 +0100
+++ b/src/ZF/Makefile Mon Oct 11 14:00:53 1993 +0100
@@ -23,7 +23,7 @@
sum.thy sum.ML qpair.thy qpair.ML mono.ML fixedpt.thy fixedpt.ML \
ind-syntax.ML intr-elim.ML indrule.ML inductive.ML co-inductive.ML \
equalities.ML perm.thy perm.ML trancl.thy trancl.ML \
- wf.thy wf.ML ordinal.thy ordinal.ML nat.thy nat.ML \
+ wf.thy wf.ML ordinal.thy ord.ML nat.thy nat.ML \
epsilon.thy epsilon.ML arith.thy arith.ML univ.thy univ.ML \
quniv.thy quniv.ML constructor.ML datatype.ML \
fin.ML list.ML listfn.thy listfn.ML