Wed, 28 Jun 2000 10:54:47 +0200 paulson warns of weak elim rules and ignores them
Wed, 28 Jun 2000 10:54:21 +0200 paulson tidying and unbatchifying
Wed, 28 Jun 2000 10:52:02 +0200 paulson fixed some abuses of addDs and addEs
Wed, 28 Jun 2000 10:50:27 +0200 paulson got rid of weak elim rule
Wed, 28 Jun 2000 10:49:10 +0200 paulson tidied
Wed, 28 Jun 2000 10:48:27 +0200 paulson fixed some weak elim rules
(0) -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip