fixed href to html library;

--- a/lib/html/index2.html	Mon Sep 29 14:11:18 1997 +0200
+++ b/lib/html/index2.html	Mon Sep 29 14:12:02 1997 +0200
@@ -6,7 +6,7 @@
  </H2>
 </center>
 <P>
-<A HREF="../html/index.html">View version for non-Java-capable browsers</A>
+<A HREF="../index.html">View version for non-Java-capable browsers</A>
 <P>
 Click on the logic's name to view the graph of its theories.
 <HR>