Isabelle Logics

# HG changeset patch # User berghofe # Date 875616556 -7200 # Node ID e832a36121abc73a4f75794a1624f6c261ed374d # Parent 4c5d3b1ddc75dff69dc8f4ad34ccde653e031803 Modified some links. diff -r 4c5d3b1ddc75 -r e832a36121ab lib/html/index1.html --- a/lib/html/index1.html Tue Sep 30 11:03:55 1997 +0200 +++ b/lib/html/index1.html Tue Sep 30 12:49:16 1997 +0200 @@ -1,12 +1,12 @@ Isabelle Logics

-
+
The Logical Choice!

-View version for Java-capable browsers +View version for Java-capable browsers

Click on the logic's name to view a list of its theories.

diff -r 4c5d3b1ddc75 -r e832a36121ab lib/html/index2.html --- a/lib/html/index2.html Tue Sep 30 11:03:55 1997 +0200 +++ b/lib/html/index2.html Tue Sep 30 12:49:16 1997 +0200 @@ -12,26 +12,26 @@

First-Order Logic

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

Higher-Order Logic

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

Miscellaneous

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

- + The Logical Choice!

-
+
The Logical Choice!