lib/html/library_index_content.template
author haftmann
Tue Oct 30 10:51:35 2007 +0100 (2007-10-30)
changeset 25235 04cb7e02ca38
child 28307 39328b6ea7e8
permissions -rw-r--r--
split library index into templates
haftmann@25235
     1
  <ul>
haftmann@25235
     2
    <li>Higher-Order Logic</li>
haftmann@25235
     3
haftmann@25235
     4
    <li style="list-style: none">
haftmann@25235
     5
      <ul>
haftmann@25235
     6
        <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a></li>
haftmann@25235
     7
haftmann@25235
     8
        <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a></li>
haftmann@25235
     9
      </ul>
haftmann@25235
    10
    </li>
haftmann@25235
    11
  </ul>
haftmann@25235
    12
haftmann@25235
    13
  <ul>
haftmann@25235
    14
    <li>First-Order Logic</li>
haftmann@25235
    15
haftmann@25235
    16
    <li style="list-style: none">
haftmann@25235
    17
      <ul>
haftmann@25235
    18
        <li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a></li>
haftmann@25235
    19
haftmann@25235
    20
        <li><a href="ZF/index.html">ZF (Set Theory)</a></li>
haftmann@25235
    21
haftmann@25235
    22
        <li><a href="CCL/index.html">CCL (Classical Computational Logic)</a></li>
haftmann@25235
    23
haftmann@25235
    24
        <li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a></li>
haftmann@25235
    25
haftmann@25235
    26
        <li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a></li>
haftmann@25235
    27
      </ul>
haftmann@25235
    28
    </li>
haftmann@25235
    29
  </ul>
haftmann@25235
    30
haftmann@25235
    31
  <ul>
haftmann@25235
    32
    <li>Miscellaneous</li>
haftmann@25235
    33
haftmann@25235
    34
    <li style="list-style: none">
haftmann@25235
    35
      <ul>
haftmann@25235
    36
        <li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a></li>
haftmann@25235
    37
haftmann@25235
    38
        <li><a href="CTT/index.html">CTT (Constructive Type Theory)</a></li>
haftmann@25235
    39
haftmann@25235
    40
        <li><a href="Cube/index.html">Cube (The Lambda Cube)</a></li>
haftmann@25235
    41
      </ul>
haftmann@25235
    42
    </li>
haftmann@25235
    43
  </ul>
haftmann@25235
    44