diff -r 5f94ddc07de2 -r bc584c1b8426 index.html --- a/index.html Wed May 29 13:53:39 1996 +0200 +++ b/index.html Thu May 30 13:29:52 1996 +0200 @@ -1,8 +1,9 @@ Isabelle Logics
-

- The Logical Choice! -

+

+

+ The Logical Choice! +

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