| 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 |
| Sun, 16 Dec 2001 00:20:17 +0100 | kleing | MicroJava exception merge | changeset | files |
| Sun, 16 Dec 2001 00:19:54 +0100 | kleing | temporarily removed JVMListExample | changeset | files |
| Sun, 16 Dec 2001 00:19:08 +0100 | kleing | exception merge + cleanup | changeset | files |