# HG changeset patch
# User nipkow
# Date 814614593 -3600
# Node ID 6ed5e2d9657506f46e044fac58d98263b44ca46d
# Parent  976f9e19a8284da73241a7d9a168d7585f43f0ae
Removed Old_HOL

diff -r 976f9e19a828 -r 6ed5e2d96575 logics.html
--- 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