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 @@
HyperDef Ultrapower construction of the hyperreals
HyperNat Ultrapower construction of the hypernaturals
HyperPow Powers theory for the hyperreals
-IntFloor Floor and Ceiling functions relating the reals and integers
+
Integration Gage integrals
Lim Theory of limits, continuous functions, and derivatives
Log Logarithms for the reals