Admin/page/main-content/index.content
changeset 14624 9b3397a848c3
parent 14615 603f08285c65
child 14637 d258f6c11d83
--- a/Admin/page/main-content/index.content	Mon Apr 19 00:45:50 2004 +0200
+++ b/Admin/page/main-content/index.content	Mon Apr 19 08:20:52 2004 +0200
@@ -38,6 +38,9 @@
 <h2><!-- _GP_ distname --></h2>
 New features in <strong><!-- _GP_ distname --></strong> include
 <ul>
+<li>New image HOL4 with imported library from HOL4 system on top of
+  HOL-Complex (about 2500 additional theorems).</li>
+
 <li>New theory Ring_and_Field with over 250 basic numerical laws, 
   all proved in axiomatic type classes for semirings, rings and fields.</li>