Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Complex/README.html
changeset 17749 4fb42f4d61df
parent 15582 7219facb3fd0 
--- a/src/HOL/Complex/README.html	Tue Oct 04 10:55:14 2005 +0200
+++ b/src/HOL/Complex/README.html	Tue Oct 04 10:58:46 2005 +0200
@@ -47,7 +47,7 @@
 <li><a href="HyperDef.html">HyperDef</a> Ultrapower construction of the hyperreals
 <li><a href="HyperNat.html">HyperNat</a> Ultrapower construction of the hypernaturals
 <li><a href="HyperPow.html">HyperPow</a> Powers theory for the hyperreals
-<li><a href="IntFloor.html">IntFloor</a> Floor and Ceiling functions relating the reals and integers
+<!-- <li><a href="IntFloor.html">IntFloor</a> Floor and Ceiling functions relating the reals and integers -->
 <li><a href="Integration.html">Integration</a> Gage integrals
 <li><a href="Lim.html">Lim</a> Theory of limits, continuous functions, and derivatives
 <li><a href="Log.html">Log</a> Logarithms for the reals
isabelle