Wed, 28 Jun 2000 10:55:38 +0200 | paulson | uses a supplied version of make_elim for addDs | changeset | files |
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 |