src/ZF/IsaMakefile
changeset 13240 bb5f4faea1f3
parent 13239 f599984ec4c2
child 13259 01fa0c8dbc92
     1.1 --- a/src/ZF/IsaMakefile	Sat Jun 22 18:28:46 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Sun Jun 23 10:14:13 2002 +0200
     1.3 @@ -39,13 +39,13 @@
     1.4    Integ/twos_compl.ML Let.ML Let.thy List.ML List.thy Main.ML Main.thy	\
     1.5    Main_ZFC.ML Main_ZFC.thy Nat.thy Order.thy OrderArith.thy	\
     1.6    OrderType.thy Ordinal.thy OrdQuant.thy Perm.thy	\
     1.7 -  QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML Sum.ML	\
     1.8 +  QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML	\
     1.9    Sum.thy Tools/cartprod.ML Tools/datatype_package.ML			\
    1.10    Tools/ind_cases.ML Tools/induct_tacs.ML Tools/inductive_package.ML	\
    1.11    Tools/numeral_syntax.ML Tools/primrec_package.ML Tools/typechk.ML	\
    1.12    Trancl.thy Univ.thy Update.thy \
    1.13    WF.thy ZF.ML ZF.thy Zorn.thy arith_data.ML equalities.thy func.thy	\
    1.14 -  ind_syntax.ML mono.ML mono.thy pair.ML pair.thy simpdata.ML		\
    1.15 +  ind_syntax.ML mono.ML mono.thy pair.thy simpdata.ML		\
    1.16    subset.ML subset.thy thy_syntax.ML upair.ML upair.thy
    1.17  	@$(ISATOOL) usedir -b -r $(OUT)/FOL ZF
    1.18