--- a/logics.html Wed Oct 25 10:15:51 1995 +0100
+++ b/logics.html Wed Oct 25 10:49:53 1995 +0100
@@ -14,7 +14,6 @@
<UL>
<LI><A HREF = "HOL/00-chart.html">HOL</A>
<LI><A HREF = "HOLCF/00-chart.html">HOLCF</A>
-<LI><A HREF = "Old_HOL/00-chart.html">Old_HOL</A>
</UL>
<HR>
Sequent Calculus