Isabelle Logics ({ISABELLE})

diff -r 85539b33be03 -r d0eae42f6d12 lib/html/index1.html --- a/lib/html/index1.html Fri May 05 22:23:27 2000 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,52 +0,0 @@ - - -Isabelle Logics ({ISABELLE}) - - - -

- -

- -Switch to Java-based version, including -theory graph browser. - -

- -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 (Higher-Order Logic of Computable Functions) -

- -

- -Miscellaneous - -

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

- -

- - -