src/ZF/IsaMakefile
changeset 9570 e16e168984e1
parent 9548 15bee2731e43
child 9578 ab26d6c8ebfe
     1.1 --- a/src/ZF/IsaMakefile	Thu Aug 10 00:45:23 2000 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Thu Aug 10 11:27:34 2000 +0200
     1.3 @@ -33,11 +33,14 @@
     1.4    Epsilon.thy Finite.ML Finite.thy Fixedpt.ML Fixedpt.thy Inductive.ML	\
     1.5    Inductive.thy InfDatatype.ML InfDatatype.thy Integ/Bin.ML		\
     1.6    Integ/Bin.thy Integ/EquivClass.ML Integ/EquivClass.thy Integ/Int.ML	\
     1.7 -  Integ/Int.thy Integ/twos_compl.ML Let.ML Let.thy List.ML List.thy	\
     1.8 +  Integ/Int.thy Integ/twos_compl.ML \
     1.9 +  Integ/int_arith.ML Integ/IntArith.thy \
    1.10 +  Let.ML Let.thy List.ML List.thy	\
    1.11    Main.thy Nat.ML Nat.thy Order.ML Order.thy OrderArith.ML		\
    1.12    OrderArith.thy OrderType.ML OrderType.thy Ordinal.ML Ordinal.thy	\
    1.13    Perm.ML Perm.thy QPair.ML QPair.thy QUniv.ML QUniv.thy ROOT.ML	\
    1.14 -  Rel.ML Rel.thy Sum.ML Sum.thy Tools/cartprod.ML			\
    1.15 +  Rel.ML Rel.thy Sum.ML Sum.thy \
    1.16 +  Tools/numeral_syntax.ML Tools/cartprod.ML			\
    1.17    Tools/datatype_package.ML Tools/induct_tacs.ML			\
    1.18    Tools/inductive_package.ML Tools/primrec_package.ML Tools/typechk.ML	\
    1.19    Trancl.ML Trancl.thy Univ.ML Univ.thy Update.ML Update.thy WF.ML	\