proper index for HOL-Proofs, which is also in chapter "HOL";

--- a/lib/html/library_index_content.template	Wed Mar 13 16:57:05 2013 +0100
+++ b/lib/html/library_index_content.template	Wed Mar 13 17:06:45 2013 +0100
@@ -8,10 +8,6 @@
         that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
         </li>
       </ul>
-      <ul>
-        <li>HOL with explicit <a href="HOL-Proofs/index.html">proof terms</a>.
-        </li>
-      </ul>
     </li>
   </ul>