| Tue, 01 Oct 2002 15:03:28 +0200 | berghofe | Added some comments on new simplifier. | changeset | files |
| Tue, 01 Oct 2002 14:45:28 +0200 | berghofe | Documented new "asm_lr" option for simp. | changeset | files |
| Tue, 01 Oct 2002 14:44:43 +0200 | berghofe | Adapted to new simplifier. | changeset | files |
| Tue, 01 Oct 2002 13:26:10 +0200 | paulson | Numerous cosmetic changes, prompted by the new simplifier | changeset | files |
| Tue, 01 Oct 2002 11:17:25 +0200 | berghofe | Deleted superfluous dest_implies. | changeset | files |
| Mon, 30 Sep 2002 16:50:39 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 30 Sep 2002 16:48:15 +0200 | berghofe | Adapted to new simplifier. | changeset | files |