lib/html/library_index_content.template
changeset 41558 236cd8f07f7b
parent 40776 cce37f6d4b69
child 41580 220bc60c2387
equal deleted inserted replaced
41557:b46ec69f1c60 41558:236cd8f07f7b
     5       <ul>
     5       <ul>
     6         <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a>
     6         <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a>
     7         is a version of classical higher-order logic resembling
     7         is a version of classical higher-order logic resembling
     8         that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
     8         that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>.
     9         </li>
     9         </li>
    10 
       
    11         <ul>
       
    12           <li><a href="HOL/HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
       
    13           formalizes a model of Scott's Logic for Computable Functions (domain theory) in HOL.
       
    14           </li>
       
    15         </ul>
       
    16       </ul>
    10       </ul>
    17     </li>
    11     </li>
    18   </ul>
    12   </ul>
    19 
    13 
    20   <ul>
    14   <ul>