--- a/src/ZF/IsaMakefile Fri Jul 17 11:13:59 1998 +0200
+++ b/src/ZF/IsaMakefile Fri Jul 17 11:23:17 1998 +0200
@@ -32,12 +32,13 @@
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 \
- Let.ML Let.thy List.ML List.thy Nat.ML Nat.thy \
+ Let.ML Let.thy List.ML List.thy Main.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 \
- WF.thy ZF.ML ZF.thy Zorn.ML Zorn.thy add_ind_def.ML add_ind_def.thy \
+ Rel.thy Sum.ML Sum.thy Trancl.ML Trancl.thy \
+ Update.ML Update.thy Univ.ML Univ.thy WF.ML WF.thy \
+ ZF.ML ZF.thy Zorn.ML Zorn.thy add_ind_def.ML add_ind_def.thy \
cartprod.ML cartprod.thy constructor.ML constructor.thy domrange.ML \
domrange.thy equalities.ML equalities.thy func.ML func.thy \
ind_syntax.ML ind_syntax.thy indrule.ML indrule.thy intr_elim.ML \