Tue, 27 Jul 1999 18:58:40 +0200 | paulson | fixed the comments... | changeset | files |
Tue, 27 Jul 1999 18:52:48 +0200 | paulson | a new theory containing just an axiom needed to derive imp_cong | changeset | files |
Tue, 27 Jul 1999 18:52:23 +0200 | paulson | renamed theory LK to LK0 | changeset | files |