lib/html/library_index_content.template

--- a/lib/html/library_index_content.template	Sat Jan 15 18:12:26 2011 +0100
+++ b/lib/html/library_index_content.template	Sat Jan 15 18:49:42 2011 +0100
@@ -8,6 +8,10 @@
         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>