| Mon, 17 Dec 2001 14:24:11 +0100 | nipkow | mods due to improved 1-point simprocs (quantifier1). | changeset | files |
| Mon, 17 Dec 2001 14:23:10 +0100 | nipkow | mods due to mor powerful simprocs for 1-point rules (quantifier1). | changeset | files |
| Mon, 17 Dec 2001 14:21:59 +0100 | nipkow | now permutations of quantifiers are allowed as well. | changeset | files |
| Mon, 17 Dec 2001 13:25:18 +0100 | kleing | fixed JVMListExample | changeset | files |