--- a/src/HOL/Complex/README.html Mon May 12 15:57:46 2003 +0200
+++ b/src/HOL/Complex/README.html Mon May 12 18:11:44 2003 +0200
@@ -5,7 +5,7 @@
<P>This directory defines the type <KBD>complex</KBD> of the complex numbers,
with numeric constants and some complex analysis. The development includes
nonstandard analysis for the complex numbers. Note that the image
-<KBD>Complex</KBD> includes theories from the directories
+<KBD>HOL-Complex</KBD> includes theories from the directories
<KBD>HOL/Real</KBD> and <KBD>HOL/Hyperreal</KBD>.
<HR>