src/HOL/IsaMakefile
changeset 10212 33fe2d701ddd
parent 10157 6d3987f3aad9
child 10214 77349ed89f45
     1.1 --- a/src/HOL/IsaMakefile	Thu Oct 12 18:09:06 2000 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Oct 12 18:38:23 2000 +0200
     1.3 @@ -69,7 +69,7 @@
     1.4    $(SRC)/Provers/splitter.ML $(SRC)/TFL/dcterm.sml $(SRC)/TFL/post.sml \
     1.5    $(SRC)/TFL/rules.sml $(SRC)/TFL/tfl.sml $(SRC)/TFL/thms.sml \
     1.6    $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sml $(SRC)/TFL/utils.sml \
     1.7 -  Arith.ML Arith.thy Calculation.thy Datatype.thy Divides.ML \
     1.8 +  Arithmetic.ML Arithmetic.thy Calculation.thy Datatype.thy Divides.ML \
     1.9    Divides.thy Finite.ML Finite.thy Fun.ML Fun.thy Gfp.ML Gfp.thy \
    1.10    HOL.ML HOL.thy HOL_lemmas.ML Inductive.thy Integ/Bin.ML \
    1.11    Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy Integ/IntArith.ML \
    1.12 @@ -80,17 +80,17 @@
    1.13    Integ/int_arith2.ML Integ/nat_simprocs.ML Lfp.ML Lfp.thy List.ML \
    1.14    List.thy Main.ML Main.thy Map.ML Map.thy Nat.ML Nat.thy NatDef.ML \
    1.15    NatDef.thy Numeral.thy Option.ML Option.thy Ord.ML Ord.thy Power.ML \
    1.16 -  Power.thy PreList.thy Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy \
    1.17 -  RelPow.ML RelPow.thy Relation.ML Relation.thy Set.ML Set.thy \
    1.18 +  Power.thy PreList.thy Product_Type.ML Product_Type.thy ROOT.ML Recdef.thy Record.thy \
    1.19 +  Relation_Power.ML Relation_Power.thy Relation.ML Relation.thy Set.ML Set.thy \
    1.20    SetInterval.ML SetInterval.thy String.thy SVC_Oracle.ML \
    1.21 -  SVC_Oracle.thy Sum.ML Sum.thy Tools/datatype_aux.ML \
    1.22 +  SVC_Oracle.thy Sum_Type.ML Sum_Type.thy Tools/datatype_aux.ML \
    1.23    Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \
    1.24    Tools/datatype_prop.ML Tools/datatype_rep_proofs.ML \
    1.25    Tools/induct_method.ML Tools/inductive_package.ML Tools/meson.ML \
    1.26    Tools/numeral_syntax.ML Tools/primrec_package.ML \
    1.27    Tools/recdef_package.ML Tools/record_package.ML Tools/svc_funcs.ML \
    1.28 -  Tools/typedef_package.ML Trancl.ML Trancl.thy Univ.ML Univ.thy \
    1.29 -  Vimage.ML Vimage.thy WF.ML WF.thy WF_Rel.ML WF_Rel.thy While.ML \
    1.30 +  Tools/typedef_package.ML Transitive_Closure.ML Transitive_Closure.thy Datatype_Universe.ML Datatype_Universe.thy \
    1.31 +  Inverse_Image.ML Inverse_Image.thy Wellfounded_Recursion.ML Wellfounded_Recursion.thy Wellfounded_Relations.ML Wellfounded_Relations.thy While.ML \
    1.32    While.thy arith_data.ML blastdata.ML cladata.ML equalities.ML \
    1.33    equalities.thy hologic.ML meson_lemmas.ML mono.ML mono.thy simpdata.ML \
    1.34    subset.ML subset.thy thy_syntax.ML