index.html
changeset 1674 33aff4d854e4
parent 1311 3c2ca9c1da9c
child 1680 d0d607937aa0
     1.1 --- a/index.html	Tue Apr 23 16:58:57 1996 +0200
     1.2 +++ b/index.html	Tue Apr 23 17:01:51 1996 +0200
     1.3 @@ -1,6 +1,8 @@
     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 +
     1.8 +<!--
     1.9  <HR>
    1.10  First-Order Logic
    1.11  <UL>
    1.12 @@ -9,12 +11,17 @@
    1.13  <LI><A HREF = "CCL/index.html">CCL</A>
    1.14  <LI><A HREF = "LCF/index.html">LCF</A>
    1.15  </UL>
    1.16 +-->
    1.17 +
    1.18  <HR>
    1.19  Higher-Order Logic
    1.20  <UL>
    1.21  <LI><A HREF = "HOL/index.html">HOL</A>
    1.22  <LI><A HREF = "HOLCF/index.html">HOLCF</A>
    1.23 +<LI><A HREF = "FOCUS/index.html">FOCUS</A>
    1.24  </UL>
    1.25 +
    1.26 +<!--
    1.27  <HR>
    1.28  Sequent Calculus
    1.29  <UL>
    1.30 @@ -28,5 +35,8 @@
    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 +-->
    1.35 +
    1.36  <HR>
    1.37  </BODY></HTML>
    1.38 +