| changeset 14639 | ccc06bd860eb |
| parent 14638 | 0bc0440fcdb9 |
| child 15585 | 513aa9a3a26d |
| 14638:0bc0440fcdb9 | 14639:ccc06bd860eb |
|---|---|
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 (Higher Order Logic)</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 |