lib/html/index.html
changeset 11111 3b8efc0ead02
parent 8810 d0eae42f6d12
child 14638 0bc0440fcdb9
equal deleted inserted replaced
11110:306beb99e192 11111:3b8efc0ead02
    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 (Simply-typed Set Theory)</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