| Tue, 13 Feb 2007 16:37:14 +0100 | paulson | COMP now performs a distinctness check on the multiple results before failing | changeset | files |
| Tue, 13 Feb 2007 10:09:21 +0100 | bulwahn | improved lexicographic order termination tactic | changeset | files |
| Sat, 10 Feb 2007 17:06:40 +0100 | haftmann | added OCaml example | changeset | files |
| Sat, 10 Feb 2007 16:43:23 +0100 | paulson | Completing the bug fix from the previous update: the result of unifying type | changeset | files |
| Sat, 10 Feb 2007 09:26:26 +0100 | haftmann | changed representation of constants; consistent name handling | changeset | files |
| Sat, 10 Feb 2007 09:26:25 +0100 | haftmann | changed representation of constants | changeset | files |
| Sat, 10 Feb 2007 09:26:24 +0100 | haftmann | tuned | changeset | files |