added Hyperreal/Ln, replaced Lfp and Gfp by FixedPoint
authoravigad
Wed Aug 03 14:48:30 2005 +0200 (2005-08-03)
changeset 1701108f8408853e3
parent 17010 5abc26872268
child 17012 036c46df9576
added Hyperreal/Ln, replaced Lfp and Gfp by FixedPoint
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Wed Aug 03 14:48:22 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Aug 03 14:48:30 2005 +0200
     1.3 @@ -80,13 +80,13 @@
     1.4    $(SRC)/TFL/thry.ML $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML			\
     1.5    Binomial.thy Datatype.ML Datatype.thy Datatype_Universe.thy Divides.thy \
     1.6    Equiv_Relations.thy Extraction.thy Finite_Set.ML Finite_Set.thy		\
     1.7 -  Fun.thy Gfp.thy HOL.ML HOL.thy Hilbert_Choice.thy Inductive.thy		\
     1.8 +  FixedPoint.thy Fun.thy HOL.ML HOL.thy Hilbert_Choice.thy Inductive.thy		\
     1.9    Infinite_Set.thy Integ/IntArith.thy Integ/IntDef.thy Integ/IntDiv.thy		\
    1.10    Integ/NatBin.thy Integ/NatSimprocs.thy Integ/Numeral.thy			\
    1.11    Integ/Parity.thy Integ/Presburger.thy Integ/cooper_dec.ML			\
    1.12    Integ/cooper_proof.ML Integ/int_arith1.ML Integ/int_factor_simprocs.ML	\
    1.13    Integ/nat_simprocs.ML Integ/presburger.ML Integ/qelim.ML LOrder.thy		\
    1.14 -  Lattice_Locales.thy Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy		\
    1.15 +  Lattice_Locales.thy List.ML List.thy Main.ML Main.thy Map.thy		\
    1.16    Nat.ML Nat.thy NatArith.thy OrderedGroup.ML OrderedGroup.thy			\
    1.17    Orderings.ML Orderings.thy Power.thy PreList.thy Product_Type.thy		\
    1.18    ROOT.ML Recdef.thy Reconstruction.thy Record.thy Refute.thy			\
    1.19 @@ -150,7 +150,7 @@
    1.20    Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy					\
    1.21    Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy				\
    1.22    Hyperreal/Integration.thy Hyperreal/Lim.thy Hyperreal/Log.thy			\
    1.23 -  Hyperreal/MacLaurin.thy Hyperreal/NatStar.thy					\
    1.24 +  Hyperreal/Ln.thy Hyperreal/MacLaurin.thy Hyperreal/NatStar.thy		\
    1.25    Hyperreal/NSA.thy Hyperreal/NthRoot.thy Hyperreal/Poly.thy			\
    1.26    Hyperreal/SEQ.thy Hyperreal/Series.thy Hyperreal/Star.thy			\
    1.27    Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML	\