logics.html
changeset 1305 6ed5e2d96575
parent 1295 27c1e88a62b4
equal deleted inserted replaced
1304:976f9e19a828 1305:6ed5e2d96575
    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>