src/HOL/IsaMakefile
changeset 6779 2912aff958bd
parent 6764 cbe506c8311e
child 6817 a42849eeb674
     1.1 --- a/src/HOL/IsaMakefile	Fri Jun 04 19:55:41 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jun 04 19:57:31 1999 +0200
     1.3 @@ -43,24 +43,24 @@
     1.4    $(SRC)/TFL/thms.sig $(SRC)/TFL/thms.sml $(SRC)/TFL/thry.sig \
     1.5    $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sig $(SRC)/TFL/usyntax.sml \
     1.6    $(SRC)/TFL/utils.sig $(SRC)/TFL/utils.sml Arith.ML Arith.thy \
     1.7 -  Datatype.thy Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML \
     1.8 -  Fun.thy Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy Integ/Bin.ML \
     1.9 -  Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy Integ/IntDef.ML \
    1.10 -  Integ/IntDef.thy Integ/Int.ML Integ/Int.thy Integ/simproc.ML Lfp.ML \
    1.11 -  Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML Nat.thy \
    1.12 -  NatDef.ML NatDef.thy Option.ML Option.thy Ord.ML Ord.thy Power.ML \
    1.13 -  Power.thy Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML \
    1.14 -  RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \
    1.15 -  String.thy Sum.ML Sum.thy Tools/datatype_aux.ML \
    1.16 -  Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \
    1.17 -  Tools/datatype_prop.ML Tools/datatype_rep_proofs.ML \
    1.18 -  Tools/induct_method.ML Tools/inductive_package.ML \
    1.19 -  Tools/primrec_package.ML Tools/recdef_package.ML \
    1.20 -  Tools/record_package.ML Tools/typedef_package.ML Trancl.ML \
    1.21 -  Trancl.thy Univ.ML Univ.thy Vimage.ML Vimage.thy WF.ML WF.thy \
    1.22 -  WF_Rel.ML WF_Rel.thy cladata.ML equalities.ML equalities.thy \
    1.23 -  hologic.ML mono.ML mono.thy simpdata.ML subset.ML subset.thy \
    1.24 -  thy_syntax.ML
    1.25 +  Calculation.thy Datatype.thy Divides.ML Divides.thy Finite.ML \
    1.26 +  Finite.thy Fun.ML Fun.thy Gfp.ML Gfp.thy HOL.ML HOL.thy \
    1.27 +  Inductive.thy Integ/Bin.ML Integ/Bin.thy Integ/Equiv.ML \
    1.28 +  Integ/Equiv.thy Integ/IntDef.ML Integ/IntDef.thy Integ/Int.ML \
    1.29 +  Integ/Int.thy Integ/simproc.ML Lfp.ML Lfp.thy List.ML List.thy \
    1.30 +  Main.thy Map.ML Map.thy Nat.ML Nat.thy NatDef.ML NatDef.thy \
    1.31 +  Option.ML Option.thy Ord.ML Ord.thy Power.ML Power.thy Prod.ML \
    1.32 +  Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML RelPow.thy \
    1.33 +  Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy String.thy \
    1.34 +  Sum.ML Sum.thy Tools/datatype_aux.ML Tools/datatype_abs_proofs.ML \
    1.35 +  Tools/datatype_package.ML Tools/datatype_prop.ML \
    1.36 +  Tools/datatype_rep_proofs.ML Tools/induct_method.ML \
    1.37 +  Tools/inductive_package.ML Tools/primrec_package.ML \
    1.38 +  Tools/recdef_package.ML Tools/record_package.ML \
    1.39 +  Tools/typedef_package.ML Trancl.ML Trancl.thy Univ.ML Univ.thy \
    1.40 +  Vimage.ML Vimage.thy WF.ML WF.thy WF_Rel.ML WF_Rel.thy cladata.ML \
    1.41 +  equalities.ML equalities.thy hologic.ML mono.ML mono.thy simpdata.ML \
    1.42 +  subset.ML subset.thy thy_syntax.ML
    1.43  	@$(ISATOOL) usedir -b $(OUT)/Pure HOL
    1.44  
    1.45