src/HOL/Complex/README.html
changeset 17749 4fb42f4d61df
parent 15582 7219facb3fd0
equal deleted inserted replaced
17748:c93279ba600a 17749:4fb42f4d61df
    45 <li><a href="HSeries.html">HSeries</a> Non-standard theory of finite summation and infinite series
    45 <li><a href="HSeries.html">HSeries</a> Non-standard theory of finite summation and infinite series
    46 <li><a href="HTranscendental.html">HTranscendental</a> Non-standard extensions of transcendental functions
    46 <li><a href="HTranscendental.html">HTranscendental</a> Non-standard extensions of transcendental functions
    47 <li><a href="HyperDef.html">HyperDef</a> Ultrapower construction of the hyperreals
    47 <li><a href="HyperDef.html">HyperDef</a> Ultrapower construction of the hyperreals
    48 <li><a href="HyperNat.html">HyperNat</a> Ultrapower construction of the hypernaturals
    48 <li><a href="HyperNat.html">HyperNat</a> Ultrapower construction of the hypernaturals
    49 <li><a href="HyperPow.html">HyperPow</a> Powers theory for the hyperreals
    49 <li><a href="HyperPow.html">HyperPow</a> Powers theory for the hyperreals
    50 <li><a href="IntFloor.html">IntFloor</a> Floor and Ceiling functions relating the reals and integers
    50 <!-- <li><a href="IntFloor.html">IntFloor</a> Floor and Ceiling functions relating the reals and integers -->
    51 <li><a href="Integration.html">Integration</a> Gage integrals
    51 <li><a href="Integration.html">Integration</a> Gage integrals
    52 <li><a href="Lim.html">Lim</a> Theory of limits, continuous functions, and derivatives
    52 <li><a href="Lim.html">Lim</a> Theory of limits, continuous functions, and derivatives
    53 <li><a href="Log.html">Log</a> Logarithms for the reals
    53 <li><a href="Log.html">Log</a> Logarithms for the reals
    54 <li><a href="MacLaurin.html">MacLaurin</a> MacLaurin series
    54 <li><a href="MacLaurin.html">MacLaurin</a> MacLaurin series
    55 <li><a href="NatStar.html">NatStar</a> Star-transforms for the hypernaturals, to form non-standard extensions of sets and functions involving the naturals or reals
    55 <li><a href="NatStar.html">NatStar</a> Star-transforms for the hypernaturals, to form non-standard extensions of sets and functions involving the naturals or reals