| Mon, 14 Jan 2002 00:16:43 +0100 | oheimb | cosmetics | file | diff | annotate |
| Mon, 17 Dec 2001 14:23:10 +0100 | nipkow | mods due to mor powerful simprocs for 1-point rules (quantifier1). | file | diff | annotate |
| Fri, 21 Sep 2001 18:23:15 +0200 | oheimb | Minor improvements, added Example | file | diff | annotate |
| Thu, 30 Aug 2001 17:49:46 +0200 | oheimb | cosmetics | file | diff | annotate |