| Fri, 04 Oct 2002 09:56:48 +0200 | berghofe | Documented new "asm_lr" option for simp. | changeset | files |
| Thu, 03 Oct 2002 10:34:51 +0200 | paulson | added the new elim rule psubsetE | changeset | files |
| Thu, 03 Oct 2002 09:54:54 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 02 Oct 2002 17:25:31 +0200 | nipkow | *** empty log message *** | changeset | files |