diff -r b56425a385b9 -r 5963238bc1b6 index.html --- a/index.html Thu Oct 10 10:47:26 1996 +0200 +++ b/index.html Thu Oct 10 10:57:33 1996 +0200 @@ -9,30 +9,27 @@ Click on the logic's name to view a list of its theories.