lib/html/index.html
changeset 8810 d0eae42f6d12
child 11111 3b8efc0ead02
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/html/index.html	Fri May 05 22:24:03 2000 +0200
     1.3 @@ -0,0 +1,60 @@
     1.4 +<html>
     1.5 +
     1.6 +<head><title>The Isabelle Library ({ISABELLE})</title></head>
     1.7 +
     1.8 +<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
     1.9 +
    1.10 +<center>
    1.11 +  <table width="100%" border="0" cellspacing="10" cellpadding="0">
    1.12 +    <tr>
    1.13 +      <td width="20%" valign="middle" align="center">
    1.14 +        <img align=bottom src="isabelle.gif" width="100" height="86" alt="[Isabelle]">
    1.15 +      </td>
    1.16 +      <td width="80%" valign="middle" align="center">
    1.17 +        <table width="90%" border="0" cellspacing="0" cellpadding="20">
    1.18 +          <tr>
    1.19 +            <td valign="middle" align="center" bgcolor="#aacccc">
    1.20 +              <font face="Helvetica,Arial" size="+2">The Isabelle Library</font>
    1.21 +            </td>
    1.22 +          </tr>
    1.23 +        </table>
    1.24 +      </td>
    1.25 +    </tr>
    1.26 +  </table>
    1.27 +</center>
    1.28 +
    1.29 +<hr>
    1.30 +
    1.31 +Higher-Order Logic
    1.32 +
    1.33 +<ul>
    1.34 +<li><a href="HOL/index.html"> HOL (Simply-typed Set Theory)</a>
    1.35 +<li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    1.36 +</ul>
    1.37 +
    1.38 +<hr>
    1.39 +
    1.40 +First-Order Logic
    1.41 +
    1.42 +<ul>
    1.43 +<li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a>
    1.44 +<li><a href="ZF/index.html">ZF (Set Theory)</a>
    1.45 +<li><a href="CCL/index.html">CCL (Classical Computational Logic)</a>
    1.46 +<li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a>
    1.47 +<li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a>
    1.48 +</ul>
    1.49 +
    1.50 +<hr>
    1.51 +
    1.52 +Miscellaneous
    1.53 +
    1.54 +<ul>
    1.55 +<li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a>
    1.56 +<li><a href="CTT/index.html">CTT (Constructive Type Theory)</a>
    1.57 +<li><a href="Cube/index.html">Cube (The Lambda Cube)</a>
    1.58 +</ul>
    1.59 +
    1.60 +<hr>
    1.61 +
    1.62 +</body>
    1.63 +</html>