diff -r 6a82e122b337 -r d0d607937aa0 index.html --- a/index.html Tue Apr 23 17:34:05 1996 +0200 +++ b/index.html Wed Apr 24 11:20:57 1996 +0200 @@ -1,8 +1,6 @@ Isabelle Logics

Isabelle Logics

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