new files in Integ
authorpaulson
Fri Sep 18 15:08:46 1998 +0200 (1998-09-18)
changeset 5503613a42644c2e
parent 5502 da4d0444ea85
child 5504 739b777e4355
new files in Integ
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Sep 18 14:40:11 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Sep 18 15:08:46 1998 +0200
     1.3 @@ -40,10 +40,12 @@
     1.4    $(SRC)/TFL/thry.sig $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sig \
     1.5    $(SRC)/TFL/usyntax.sml $(SRC)/TFL/utils.sig $(SRC)/TFL/utils.sml \
     1.6    Arith.ML Arith.thy Datatype.thy \
     1.7 -  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/Integ.ML \
    1.10 -  Integ/Integ.thy Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
    1.11 +  Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML Fun.thy \
    1.12 +  Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy \
    1.13 +  Integ/Bin.ML Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy \
    1.14 +  Integ/IntDef.ML Integ/IntDef.thy Integ/Integ.ML Integ/Integ.thy \
    1.15 +  Integ/simproc.ML \
    1.16 +  Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
    1.17    Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy Ord.ML Ord.thy \
    1.18    Power.ML Power.thy Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML \
    1.19    RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \