| Thu, 13 Dec 2007 22:35:45 +0100 | kleing | removed syntax in locale left_commutative | changeset | files |
| Thu, 13 Dec 2007 07:09:23 +0100 | haftmann | changed order in class parameters | changeset | files |
| Thu, 13 Dec 2007 07:09:09 +0100 | haftmann | heutistics for type annotations in Haskell | changeset | files |