lib/html/index.html
changeset 14638 0bc0440fcdb9
parent 11111 3b8efc0ead02
child 14639 ccc06bd860eb
equal deleted inserted replaced
14637:d258f6c11d83 14638:0bc0440fcdb9
    26 <hr>
    26 <hr>
    27 
    27 
    28 Higher-Order Logic
    28 Higher-Order Logic
    29 
    29 
    30 <ul>
    30 <ul>
    31 <li><a href="HOL/index.html">HOL (Simply-typed Set Theory)</a>
    31 <li><a href="HOL/index.html">HOL (Higher Order Logic)</a>
    32 <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    32 <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    33 </ul>
    33 </ul>
    34 
    34 
    35 <hr>
    35 <hr>
    36 
    36