| Wed, 23 Apr 2003 00:14:55 +0200 | berghofe | Tuned realizer for exE rule, to avoid blowup of extracted program. | changeset | files |
| Wed, 23 Apr 2003 00:13:32 +0200 | berghofe | elim_vars now handles both Vars and Frees. | changeset | files |
| Wed, 23 Apr 2003 00:12:14 +0200 | berghofe | elim_cong now eta-expands proofs on the fly if required. | changeset | files |
| Wed, 23 Apr 2003 00:10:40 +0200 | berghofe | Eliminated most occurrences of rule_format attribute. | changeset | files |
| Wed, 16 Apr 2003 22:21:32 +0200 | nipkow | header | changeset | files |
| Wed, 16 Apr 2003 22:14:08 +0200 | nipkow | Added take/dropWhile thms | changeset | files |
| Tue, 15 Apr 2003 12:55:31 +0200 | kleing | fixed document | changeset | files |