# HG changeset patch # User berghofe # Date 870991766 -7200 # Node ID 4394662893b247c8b02728bf223ba95cf8dd9338 # Parent 225f2565fefff841f6319d5761b8999404a5c207 This file has moved to Distribution/lib/html. diff -r 225f2565feff -r 4394662893b2 index.html --- a/index.html Thu Aug 07 23:48:29 1997 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,35 +0,0 @@ -Isabelle Logics -
-

-

- The Logical Choice! -

-
-

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


-First-Order Logic - -
-Higher-Order Logic - -
-Miscellaneous - -
-