src/HOL/IsaMakefile
changeset 5183 89f162de39cf
parent 5124 1ce3cccfacdb
child 5199 be986f7a6def
     1.1 --- a/src/HOL/IsaMakefile	Fri Jul 24 13:02:01 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jul 24 13:03:20 1998 +0200
     1.3 @@ -39,19 +39,23 @@
     1.4    $(SRC)/TFL/tfl.sml $(SRC)/TFL/thms.sig $(SRC)/TFL/thms.sml \
     1.5    $(SRC)/TFL/thry.sig $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sig \
     1.6    $(SRC)/TFL/usyntax.sml $(SRC)/TFL/utils.sig $(SRC)/TFL/utils.sml \
     1.7 -  Arith.ML Arith.thy Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML \
     1.8 +  Arith.ML Arith.thy Datatype.thy \
     1.9 +  Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML \
    1.10    Fun.thy Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy Integ/Bin.ML \
    1.11    Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy Integ/Integ.ML \
    1.12    Integ/Integ.thy Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
    1.13    Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy Ord.ML Ord.thy \
    1.14    Power.ML Power.thy Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML \
    1.15    RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \
    1.16 -  String.ML String.thy Sum.ML Sum.thy Tools/inductive_package.ML Tools/record_package.ML \
    1.17 +  String.ML String.thy Sum.ML Sum.thy \
    1.18 +  Tools/datatype_aux.ML Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \
    1.19 +  Tools/datatype_prop.ML Tools/datatype_rep_proofs.ML \
    1.20 +  Tools/inductive_package.ML Tools/primrec_package.ML Tools/record_package.ML \
    1.21    Tools/typedef_package.ML Trancl.ML Trancl.thy Univ.ML Univ.thy \
    1.22    Update.ML Update.thy Vimage.ML Vimage.thy WF.ML WF.thy WF_Rel.ML \
    1.23 -  WF_Rel.thy arith_data.ML cladata.ML datatype.ML equalities.ML \
    1.24 +  WF_Rel.thy arith_data.ML cladata.ML equalities.ML \
    1.25    equalities.thy hologic.ML mono.ML mono.thy simpdata.ML subset.ML \
    1.26 -  subset.thy thy_data.ML thy_syntax.ML
    1.27 +  subset.thy thy_syntax.ML
    1.28  	@$(ISATOOL) usedir -b $(OUT)/Pure HOL
    1.29  
    1.30