New root file with more description, and merging LK and Modal to Sequents
authorpaulson
Thu Oct 10 10:57:33 1996 +0200 (1996-10-10)
changeset 20845963238bc1b6
parent 2083 b56425a385b9
child 2085 bcc9cbed10b1
New root file with more description, and merging LK and Modal to Sequents
index.html
     1.1 --- a/index.html	Thu Oct 10 10:47:26 1996 +0200
     1.2 +++ b/index.html	Thu Oct 10 10:57:33 1996 +0200
     1.3 @@ -9,30 +9,27 @@
     1.4  Click on the logic's name to view a list of its theories.
     1.5  <HR>
     1.6  First-Order Logic
     1.7 -<UL>
     1.8 -<LI><A HREF = "FOL/index.html">FOL</A>
     1.9 -<LI><A HREF = "ZF/index.html">ZF</A>
    1.10 -<LI><A HREF = "CCL/index.html">CCL</A>
    1.11 -<LI><A HREF = "LCF/index.html">LCF</A>
    1.12 -</UL>
    1.13 +  <UL>
    1.14 +  <LI><A HREF = "FOL/index.html">FOL</A>
    1.15 +  <LI><A HREF = "ZF/index.html">ZF (Set Theory)</A>
    1.16 +  <LI><A HREF = "CCL/index.html">CCL (Classical Computational Logic)</A>
    1.17 +  <LI><A HREF = "LCF/index.html">LCF (Logic of Computable Functions)</A>
    1.18 +  <LI><A HREF = "FOLP/index.html">FOLP (FOL with Proof Terms)</A>
    1.19 +  </UL>
    1.20  <HR>
    1.21  Higher-Order Logic
    1.22 -<UL>
    1.23 -<LI><A HREF = "HOL/index.html">HOL</A>
    1.24 -<LI><A HREF = "HOLCF/index.html">HOLCF</A>
    1.25 -</UL>
    1.26 -<HR>
    1.27 -Sequent Calculus
    1.28 -<UL>
    1.29 -<LI><A HREF = "LK/index.html">LK</A>
    1.30 -<LI><A HREF = "Modal/index.html">Modal</A>
    1.31 -</UL>
    1.32 +  <UL>
    1.33 +  <LI><A HREF = "HOL/index.html">HOL</A>
    1.34 +  <LI><A HREF = "HOLCF/index.html">HOLCF 
    1.35 +		   (Higher-Order Logic of Computable Functions)</A>
    1.36 +  </UL>
    1.37  <HR>
    1.38  Miscellaneous
    1.39 -<UL>
    1.40 -<LI><A HREF = "CTT/index.html">CTT</A>
    1.41 -<LI><A HREF = "Cube/index.html">Cube</A>
    1.42 -<LI><A HREF = "FOLP/index.html">FOLP</A>
    1.43 -</UL>
    1.44 +  <UL>
    1.45 +  <LI><A HREF = "Sequents/index.html">Sequents 
    1.46 +	  (first-order, modal and linear logics)</A>
    1.47 +  <LI><A HREF = "CTT/index.html">CTT (Constructive Type Theory)</A>
    1.48 +  <LI><A HREF = "Cube/index.html">Cube (The Lambda Cube)</A>
    1.49 +  </UL>
    1.50  <HR>
    1.51  </BODY></HTML>