| Sun, 26 Feb 2006 22:25:17 +0100 | urbanc | replaced the lemma at_two by at_different; | changeset | files |
| Sun, 26 Feb 2006 22:24:05 +0100 | urbanc | improved the decision-procedure for permutations; | changeset | files |
| Sat, 25 Feb 2006 15:19:47 +0100 | haftmann | improved codegen bootstrap | changeset | files |
| Sat, 25 Feb 2006 15:19:19 +0100 | haftmann | change in codegen syntax | changeset | files |