removed David's private version (i.e. restored version 1.1)
authorclasohm
Wed Apr 24 11:20:57 1996 +0200 (1996-04-24)
changeset 1680d0d607937aa0
parent 1679 6a82e122b337
child 1681 d9aaae4ff6c3
removed David's private version (i.e. restored version 1.1)
index.html
     1.1 --- a/index.html	Tue Apr 23 17:34:05 1996 +0200
     1.2 +++ b/index.html	Wed Apr 24 11:20:57 1996 +0200
     1.3 @@ -1,8 +1,6 @@
     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 @@ -11,17 +9,12 @@
    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 @@ -35,8 +28,5 @@
    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 -