lib/html/index.html
author wenzelm
Fri May 05 22:24:03 2000 +0200 (2000-05-05)
changeset 8810 d0eae42f6d12
child 11111 3b8efc0ead02
permissions -rw-r--r--
removed index2;
wenzelm@8810
     1
<html>
wenzelm@8810
     2
wenzelm@8810
     3
<head><title>The Isabelle Library ({ISABELLE})</title></head>
wenzelm@8810
     4
wenzelm@8810
     5
<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
wenzelm@8810
     6
wenzelm@8810
     7
<center>
wenzelm@8810
     8
  <table width="100%" border="0" cellspacing="10" cellpadding="0">
wenzelm@8810
     9
    <tr>
wenzelm@8810
    10
      <td width="20%" valign="middle" align="center">
wenzelm@8810
    11
        <img align=bottom src="isabelle.gif" width="100" height="86" alt="[Isabelle]">
wenzelm@8810
    12
      </td>
wenzelm@8810
    13
      <td width="80%" valign="middle" align="center">
wenzelm@8810
    14
        <table width="90%" border="0" cellspacing="0" cellpadding="20">
wenzelm@8810
    15
          <tr>
wenzelm@8810
    16
            <td valign="middle" align="center" bgcolor="#aacccc">
wenzelm@8810
    17
              <font face="Helvetica,Arial" size="+2">The Isabelle Library</font>
wenzelm@8810
    18
            </td>
wenzelm@8810
    19
          </tr>
wenzelm@8810
    20
        </table>
wenzelm@8810
    21
      </td>
wenzelm@8810
    22
    </tr>
wenzelm@8810
    23
  </table>
wenzelm@8810
    24
</center>
wenzelm@8810
    25
wenzelm@8810
    26
<hr>
wenzelm@8810
    27
wenzelm@8810
    28
Higher-Order Logic
wenzelm@8810
    29
wenzelm@8810
    30
<ul>
wenzelm@8810
    31
<li><a href="HOL/index.html"> HOL (Simply-typed Set Theory)</a>
wenzelm@8810
    32
<li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
wenzelm@8810
    33
</ul>
wenzelm@8810
    34
wenzelm@8810
    35
<hr>
wenzelm@8810
    36
wenzelm@8810
    37
First-Order Logic
wenzelm@8810
    38
wenzelm@8810
    39
<ul>
wenzelm@8810
    40
<li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a>
wenzelm@8810
    41
<li><a href="ZF/index.html">ZF (Set Theory)</a>
wenzelm@8810
    42
<li><a href="CCL/index.html">CCL (Classical Computational Logic)</a>
wenzelm@8810
    43
<li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a>
wenzelm@8810
    44
<li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a>
wenzelm@8810
    45
</ul>
wenzelm@8810
    46
wenzelm@8810
    47
<hr>
wenzelm@8810
    48
wenzelm@8810
    49
Miscellaneous
wenzelm@8810
    50
wenzelm@8810
    51
<ul>
wenzelm@8810
    52
<li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a>
wenzelm@8810
    53
<li><a href="CTT/index.html">CTT (Constructive Type Theory)</a>
wenzelm@8810
    54
<li><a href="Cube/index.html">Cube (The Lambda Cube)</a>
wenzelm@8810
    55
</ul>
wenzelm@8810
    56
wenzelm@8810
    57
<hr>
wenzelm@8810
    58
wenzelm@8810
    59
</body>
wenzelm@8810
    60
</html>