Wed, 28 Jun 2000 10:54:47 +0200 | paulson | warns of weak elim rules and ignores them | changeset | files |
Wed, 28 Jun 2000 10:54:21 +0200 | paulson | tidying and unbatchifying | changeset | files |
Wed, 28 Jun 2000 10:52:02 +0200 | paulson | fixed some abuses of addDs and addEs | changeset | files |
Wed, 28 Jun 2000 10:50:27 +0200 | paulson | got rid of weak elim rule | changeset | files |
Wed, 28 Jun 2000 10:49:10 +0200 | paulson | tidied | changeset | files |
Wed, 28 Jun 2000 10:48:27 +0200 | paulson | fixed some weak elim rules | changeset | files |