# HG changeset patch
# User paulson
# Date 900667397 -7200
# Node ID 48ca9ef35fb02c042da858ed7de09d7ebf227a90
# Parent  6e03de8ec2b4116be9a43c99460710854b55fe69
added Main and Update

diff -r 6e03de8ec2b4 -r 48ca9ef35fb0 src/ZF/IsaMakefile
--- 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 \