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