--- 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>