--- a/src/ZF/IsaMakefile Thu Apr 30 17:16:25 1998 +0200
+++ b/src/ZF/IsaMakefile Fri May 01 11:22:09 1998 +0200
@@ -31,8 +31,9 @@
CardinalArith.ML CardinalArith.thy Cardinal_AC.ML Cardinal_AC.thy \
Datatype.ML Datatype.thy Epsilon.ML Epsilon.thy EquivClass.ML \
EquivClass.thy Finite.ML Finite.thy Fixedpt.ML Fixedpt.thy \
- Inductive.ML Inductive.thy InfDatatype.ML InfDatatype.thy List.ML \
- List.thy Nat.ML Nat.thy Order.ML Order.thy OrderArith.ML \
+ Inductive.ML Inductive.thy InfDatatype.ML InfDatatype.thy \
+ Let.ML Let.thy List.ML List.thy Nat.ML Nat.thy \
+ Order.ML Order.thy OrderArith.ML \
OrderArith.thy OrderType.ML OrderType.thy Ordinal.ML Ordinal.thy \
Perm.ML Perm.thy QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML Rel.ML \
Rel.thy Sum.ML Sum.thy Trancl.ML Trancl.thy Univ.ML Univ.thy WF.ML \