renamed logics.html and 00-chart.html to index.html
authorclasohm
Thu Oct 26 13:44:24 1995 +0100 (1995-10-26)
changeset 13113c2ca9c1da9c
parent 1310 3d773439d844
child 1312 0c0e6298df13
renamed logics.html and 00-chart.html to index.html
index.html
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/index.html	Thu Oct 26 13:44:24 1995 +0100
     1.3 @@ -0,0 +1,32 @@
     1.4 +<HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
     1.5 +<H2>Isabelle Logics</H2>
     1.6 +Click on the logic's name to view a list of its theories.
     1.7 +<HR>
     1.8 +First-Order Logic
     1.9 +<UL>
    1.10 +<LI><A HREF = "FOL/index.html">FOL</A>
    1.11 +<LI><A HREF = "ZF/index.html">ZF</A>
    1.12 +<LI><A HREF = "CCL/index.html">CCL</A>
    1.13 +<LI><A HREF = "LCF/index.html">LCF</A>
    1.14 +</UL>
    1.15 +<HR>
    1.16 +Higher-Order Logic
    1.17 +<UL>
    1.18 +<LI><A HREF = "HOL/index.html">HOL</A>
    1.19 +<LI><A HREF = "HOLCF/index.html">HOLCF</A>
    1.20 +</UL>
    1.21 +<HR>
    1.22 +Sequent Calculus
    1.23 +<UL>
    1.24 +<LI><A HREF = "LK/index.html">LK</A>
    1.25 +<LI><A HREF = "Modal/index.html">Modal</A>
    1.26 +</UL>
    1.27 +<HR>
    1.28 +Miscellaneous
    1.29 +<UL>
    1.30 +<LI><A HREF = "CTT/index.html">CTT</A>
    1.31 +<LI><A HREF = "Cube/index.html">Cube</A>
    1.32 +<LI><A HREF = "FOLP/index.html">FOLP</A>
    1.33 +</UL>
    1.34 +<HR>
    1.35 +</BODY></HTML>