Wed, 28 Jul 1999 13:45:54 +0200 | paulson | adding missing declarations for the <<...>> notation | changeset | files |
Wed, 28 Jul 1999 13:45:33 +0200 | paulson | congruence rule for |- | changeset | files |
Wed, 28 Jul 1999 13:42:20 +0200 | paulson | simplifier and improved classical reasoner | changeset | files |