src/HOL/IsaMakefile
changeset 5503 613a42644c2e
parent 5430 4a179dba527a
child 5564 f16de69b7c0c
equal deleted inserted replaced
5502:da4d0444ea85 5503:613a42644c2e
    38   $(SRC)/TFL/rules.sig $(SRC)/TFL/sys.sml $(SRC)/TFL/tfl.sig \
    38   $(SRC)/TFL/rules.sig $(SRC)/TFL/sys.sml $(SRC)/TFL/tfl.sig \
    39   $(SRC)/TFL/tfl.sml $(SRC)/TFL/thms.sig $(SRC)/TFL/thms.sml \
    39   $(SRC)/TFL/tfl.sml $(SRC)/TFL/thms.sig $(SRC)/TFL/thms.sml \
    40   $(SRC)/TFL/thry.sig $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sig \
    40   $(SRC)/TFL/thry.sig $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sig \
    41   $(SRC)/TFL/usyntax.sml $(SRC)/TFL/utils.sig $(SRC)/TFL/utils.sml \
    41   $(SRC)/TFL/usyntax.sml $(SRC)/TFL/utils.sig $(SRC)/TFL/utils.sml \
    42   Arith.ML Arith.thy Datatype.thy \
    42   Arith.ML Arith.thy Datatype.thy \
    43   Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML \
    43   Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML Fun.thy \
    44   Fun.thy Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy Integ/Bin.ML \
    44   Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy \
    45   Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy Integ/Integ.ML \
    45   Integ/Bin.ML Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy \
    46   Integ/Integ.thy Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
    46   Integ/IntDef.ML Integ/IntDef.thy Integ/Integ.ML Integ/Integ.thy \
       
    47   Integ/simproc.ML \
       
    48   Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
    47   Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy Ord.ML Ord.thy \
    49   Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy Ord.ML Ord.thy \
    48   Power.ML Power.thy Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML \
    50   Power.ML Power.thy Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML \
    49   RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \
    51   RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \
    50   String.thy Sum.ML Sum.thy \
    52   String.thy Sum.ML Sum.thy \
    51   Tools/datatype_aux.ML Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \
    53   Tools/datatype_aux.ML Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \