equal
deleted
inserted
replaced
12 <HR> |
12 <HR> |
13 Higher-Order Logic |
13 Higher-Order Logic |
14 <UL> |
14 <UL> |
15 <LI><A HREF = "HOL/00-chart.html">HOL</A> |
15 <LI><A HREF = "HOL/00-chart.html">HOL</A> |
16 <LI><A HREF = "HOLCF/00-chart.html">HOLCF</A> |
16 <LI><A HREF = "HOLCF/00-chart.html">HOLCF</A> |
17 <LI><A HREF = "Old_HOL/00-chart.html">Old_HOL</A> |
|
18 </UL> |
17 </UL> |
19 <HR> |
18 <HR> |
20 Sequent Calculus |
19 Sequent Calculus |
21 <UL> |
20 <UL> |
22 <LI><A HREF = "LK/00-chart.html">LK</A> |
21 <LI><A HREF = "LK/00-chart.html">LK</A> |