equal
deleted
inserted
replaced
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> |