# HG changeset patch
# User wenzelm
# Date 1127813967 -7200
# Node ID 64e5aecbf7fdaef6dd174d11b5b403b7e5afd6d9
# Parent  7fc1e8f0d5e13647fbfc5e6fc77848802cb03885
removed link to HOL4, which is not in the library right now;

diff -r 7fc1e8f0d5e1 -r 64e5aecbf7fd Admin/website/logics.html
--- a/Admin/website/logics.html	Tue Sep 27 11:27:07 2005 +0200
+++ b/Admin/website/logics.html	Tue Sep 27 11:39:27 2005 +0200
@@ -27,11 +27,12 @@
       "//dist/library/index.html">Isabelle theory library</a>).</p>
     
       <dl>
-        <dt id="isabelle_hol"><a href="//dist/library/HOL/index.html">Isabelle/HOL</a></dt>
-        <dd>is a version of classical higher-order logic resembling that of the
-        <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>. The
-        main libraries of the HOL 4 System are now <a href=
-        "//dist/library/HOL/HOL-Complex/HOL4/index.html">available in Isabelle</a>.</dd>
+        <dt id="isabelle_hol"><a
+        href="//dist/library/HOL/index.html">Isabelle/HOL</a></dt>
+        <dd>is a version of classical higher-order logic resembling
+        that of the <a
+        href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL
+        System</a>.</dd>
     
         <dt><a href=
         "//dist/library/HOLCF/index.html">Isabelle/HOLCF</a></dt>