--- a/lib/html/index1.html Tue Sep 30 11:03:55 1997 +0200
+++ b/lib/html/index1.html Tue Sep 30 12:49:16 1997 +0200
@@ -1,12 +1,12 @@
<HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
<center>
<H2>
- <img src="../gif/Isabelle.gif"><P>
+ <img src="gif/Isabelle.gif"><P>
<i>The Logical Choice!</i>
</H2>
</center>
<P>
-<A HREF="../graph/index.html">View version for Java-capable browsers</A>
+<A HREF="graph/index.html">View version for Java-capable browsers</A>
<P>
Click on the logic's name to view a list of its theories.
<HR>