diff -r b56425a385b9 -r 5963238bc1b6 index.html --- a/index.html Thu Oct 10 10:47:26 1996 +0200 +++ b/index.html Thu Oct 10 10:57:33 1996 +0200 @@ -9,30 +9,27 @@ Click on the logic's name to view a list of its theories.

First-Order Logic -

FOL +
ZF (Set Theory) +
CCL (Classical Computational Logic) +
LCF (Logic of Computable Functions) +
FOLP (FOL with Proof Terms) +

Higher-Order Logic -

HOL -
HOLCF -

-Sequent Calculus -

LK -
Modal -

HOL +
HOLCF + (Higher-Order Logic of Computable Functions) +

Miscellaneous -

CTT -
Cube -
FOLP -

Sequents + (first-order, modal and linear logics) +
CTT (Constructive Type Theory) +
Cube (The Lambda Cube) +