--- a/lib/html/index1.html Tue Jul 21 12:12:52 1998 +0200
+++ b/lib/html/index1.html Tue Jul 21 16:38:25 1998 +0200
@@ -1,9 +1,9 @@
-<HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
+<HTML><HEAD><TITLE>Isabelle Logics ({ISABELLE})</TITLE></HEAD>
<center>
<img src="gif/isabelle.gif"><P>
</center>
<P>
-<A HREF="graph/index.html">View version for Java-capable browsers</A>
+<A HREF="graph/index.html">Java-based version including theory graph browser</A>
<P>
Click on the logic's name to view a list of its theories.
<HR>