--- a/src/ZF/Makefile Thu Aug 25 10:41:17 1994 +0200
+++ b/src/ZF/Makefile Thu Aug 25 12:09:21 1994 +0200
@@ -23,9 +23,10 @@
func.thy func.ML AC.thy AC.ML simpdata.thy simpdata.ML\
equalities.thy equalities.ML Bool.thy Bool.ML \
Sum.thy Sum.ML QPair.thy QPair.ML mono.ML Fixedpt.thy Fixedpt.ML \
- ind_syntax.thy ind_syntax.ML add_ind_def.thy add_ind_def.ML \
+ ../Pure/section_utils.ML ind_syntax.thy ind_syntax.ML \
+ add_ind_def.thy add_ind_def.ML \
intr_elim.thy intr_elim.ML indrule.thy indrule.ML \
- inductive.thy inductive.ML \
+ Inductive.thy Inductive.ML \
Perm.thy Perm.ML Rel.thy Rel.ML EquivClass.ML EquivClass.thy \
Trancl.thy Trancl.ML \
WF.thy WF.ML Order.thy Order.ML Ordinal.thy Ordinal.ML \