src/ZF/IsaMakefile
changeset 13239 f599984ec4c2
parent 13225 b6fc6e4a0a24
child 13240 bb5f4faea1f3
     1.1 --- a/src/ZF/IsaMakefile	Fri Jun 21 18:40:06 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Sat Jun 22 18:28:46 2002 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  	@cd $(SRC)/FOL; $(ISATOOL) make FOL
     1.5  
     1.6  $(OUT)/ZF: $(OUT)/FOL AC.thy Arith.thy ArithSimp.ML	\
     1.7 -  ArithSimp.thy Bool.ML Bool.thy Cardinal.thy		\
     1.8 +  ArithSimp.thy Bool.thy Cardinal.thy		\
     1.9    CardinalArith.thy Cardinal_AC.thy \
    1.10    Datatype.ML Datatype.thy Epsilon.thy Finite.thy	\
    1.11    Fixedpt.thy Inductive.ML Inductive.thy 	\
    1.12 @@ -39,11 +39,11 @@
    1.13    Integ/twos_compl.ML Let.ML Let.thy List.ML List.thy Main.ML Main.thy	\
    1.14    Main_ZFC.ML Main_ZFC.thy Nat.thy Order.thy OrderArith.thy	\
    1.15    OrderType.thy Ordinal.thy OrdQuant.thy Perm.thy	\
    1.16 -  QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML Rel.ML Rel.thy Sum.ML	\
    1.17 +  QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML Sum.ML	\
    1.18    Sum.thy Tools/cartprod.ML Tools/datatype_package.ML			\
    1.19    Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML	\
    1.20    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\
    1.21 -  Trancl.ML Trancl.thy Univ.thy Update.thy \
    1.22 +  Trancl.thy Univ.thy Update.thy \
    1.23    WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy	\
    1.24    ind_syntax.ML mono.ML mono.thy pair.ML pair.thy simpdata.ML		\
    1.25    subset.ML subset.thy thy_syntax.ML upair.ML upair.thy