--- 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