lib/html/index.html
author wenzelm
Mon, 01 Oct 2007 19:52:07 +0200
changeset 24799 dff164b6f2a6
parent 15585 513aa9a3a26d
child 25232 9b4d0c13c332
permissions -rw-r--r--
misc tuning and update;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
15585
513aa9a3a26d HTML 4.01 Transitional conformity
webertj
parents: 14639
diff changeset
     1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
513aa9a3a26d HTML 4.01 Transitional conformity
webertj
parents: 14639
diff changeset
     2
513aa9a3a26d HTML 4.01 Transitional conformity
webertj
parents: 14639
diff changeset
     3
<!-- $Id$ -->
513aa9a3a26d HTML 4.01 Transitional conformity
webertj
parents: 14639
diff changeset
     4
8810
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
     5
<html>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
     6
15585
513aa9a3a26d HTML 4.01 Transitional conformity
webertj
parents: 14639
diff changeset
     7
<head>
513aa9a3a26d HTML 4.01 Transitional conformity
webertj
parents: 14639
diff changeset
     8
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
513aa9a3a26d HTML 4.01 Transitional conformity
webertj
parents: 14639
diff changeset
     9
  <title>The Isabelle Library ({ISABELLE})</title>
513aa9a3a26d HTML 4.01 Transitional conformity
webertj
parents: 14639
diff changeset
    10
</head>
8810
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    11
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    12
<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    13
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    14
<center>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    15
  <table width="100%" border="0" cellspacing="10" cellpadding="0">
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    16
    <tr>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    17
      <td width="20%" valign="middle" align="center">
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    18
        <img align=bottom src="isabelle.gif" width="100" height="86" alt="[Isabelle]">
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    19
      </td>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    20
      <td width="80%" valign="middle" align="center">
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    21
        <table width="90%" border="0" cellspacing="0" cellpadding="20">
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    22
          <tr>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    23
            <td valign="middle" align="center" bgcolor="#aacccc">
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    24
              <font face="Helvetica,Arial" size="+2">The Isabelle Library</font>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    25
            </td>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    26
          </tr>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    27
        </table>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    28
      </td>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    29
    </tr>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    30
  </table>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    31
</center>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    32
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    33
<hr>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    34
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    35
Higher-Order Logic
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    36
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    37
<ul>
14639
kleing
parents: 14638
diff changeset
    38
<li><a href="HOL/index.html">HOL (Higher-Order Logic)</a>
8810
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    39
<li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    40
</ul>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    41
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    42
<hr>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    43
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    44
First-Order Logic
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    45
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    46
<ul>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    47
<li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    48
<li><a href="ZF/index.html">ZF (Set Theory)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    49
<li><a href="CCL/index.html">CCL (Classical Computational Logic)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    50
<li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    51
<li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    52
</ul>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    53
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    54
<hr>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    55
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    56
Miscellaneous
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    57
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    58
<ul>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    59
<li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    60
<li><a href="CTT/index.html">CTT (Constructive Type Theory)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    61
<li><a href="Cube/index.html">Cube (The Lambda Cube)</a>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    62
</ul>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    63
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    64
<hr>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    65
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    66
</body>
d0eae42f6d12 removed index2;
wenzelm
parents:
diff changeset
    67
</html>