diff -r 3087dafb70ec -r a0688fa916af lib/logo/index.html
--- a/lib/logo/index.html	Tue Aug 04 16:06:55 1998 +0200
+++ b/lib/logo/index.html	Tue Aug 04 17:06:27 1998 +0200
@@ -16,7 +16,9 @@
 The logo is available for the generic Isabelle system (<a
 href="#plain">plain</a>, <a href="#transparent">transparent</a>) and
 major object logics (<a href="#ZF">ZF</a>, <a href="#HOL">HOL</a>, <a
-href="#HOLCF">HOLCF</a>).
+href="#HOLCF">HOLCF</a>).  There are also <a
+href="isabelle-small.xpm">small</a> and <a
+href="isabelle-tiny.xpm">tiny</a> Isabelle icons available.
 
 
 <h2>Interpretation</h2>