| Fri, 04 Oct 2002 15:23:58 +0200 | paulson | Fixed bug involving inductive definitions with equalities in the premises. | changeset | files |
| Fri, 04 Oct 2002 15:23:12 +0200 | paulson | Fixed bug involving inductive definitions having equalities in the premises, | changeset | files |
| 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 |