src/ZF/IsaMakefile
changeset 13165 31d020705aff
parent 13164 dfc399c684e4
child 13168 afcbca3498b0
     1.1 --- a/src/ZF/IsaMakefile	Sat May 18 22:22:23 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Mon May 20 11:45:57 2002 +0200
     1.3 @@ -44,9 +44,9 @@
     1.4    Sum.thy Tools/cartprod.ML Tools/datatype_package.ML			\
     1.5    Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML	\
     1.6    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\
     1.7 -  Trancl.ML Trancl.thy Univ.thy Update.ML Update.thy WF.ML	\
     1.8 +  Trancl.ML Trancl.thy Univ.thy Update.ML Update.thy \
     1.9    WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML domrange.ML	\
    1.10 -  domrange.thy equalities.ML equalities.thy func.thy		\
    1.11 +  domrange.thy equalities.thy func.thy		\
    1.12    ind_syntax.ML mono.ML mono.thy pair.ML pair.thy simpdata.ML		\
    1.13    subset.ML subset.thy thy_syntax.ML upair.ML upair.thy
    1.14  	@$(ISATOOL) usedir -b -r $(OUT)/FOL ZF