diff -r c93279ba600a -r 4fb42f4d61df src/HOL/Complex/README.html
--- 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