lib/html/index2.html

--- a/lib/html/index2.html	Tue Jul 21 17:30:13 1998 +0200
+++ b/lib/html/index2.html	Tue Jul 21 17:57:07 1998 +0200
@@ -3,7 +3,7 @@
  <img src="../gif/isabelle.gif"><P>
 </center>
 <P>
-<A HREF="../index.html">Plain HTML version</A>
+Switch to <A HREF="../index.html">plain HTML</A> version.
 <P>
 Click on the logic's name to view the graph of its theories.
 <HR>