| Sun, 22 May 2005 16:51:07 +0200 | wenzelm | Simplifier already setup in Pure; | file | diff | annotate |
| Thu, 08 Jul 2004 19:34:56 +0200 | wenzelm | adapted type of simprocs; | file | diff | annotate |
| Wed, 30 Apr 2003 18:30:57 +0200 | ballarin | Simplifier: congruence rule update. | file | diff | annotate |
| Mon, 04 Nov 2002 14:17:00 +0100 | berghofe | Removed obsolete section about reordering assumptions. | file | diff | annotate |
| Tue, 01 Oct 2002 14:44:43 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Wed, 07 Aug 2002 20:11:07 +0200 | wenzelm | tuned; | file | diff | annotate |