| 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 |