src/ZF/IsaMakefile
changeset 13168 afcbca3498b0
parent 13165 31d020705aff
child 13169 394a6c649547
     1.1 --- a/src/ZF/IsaMakefile	Mon May 20 12:59:59 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Tue May 21 13:06:36 2002 +0200
     1.3 @@ -45,8 +45,7 @@
     1.4    Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML	\
     1.5    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\
     1.6    Trancl.ML Trancl.thy Univ.thy Update.ML Update.thy \
     1.7 -  WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML domrange.ML	\
     1.8 -  domrange.thy equalities.thy func.thy		\
     1.9 +  WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy	\
    1.10    ind_syntax.ML mono.ML mono.thy pair.ML pair.thy simpdata.ML		\
    1.11    subset.ML subset.thy thy_syntax.ML upair.ML upair.thy
    1.12  	@$(ISATOOL) usedir -b -r $(OUT)/FOL ZF