| Mon, 12 Sep 2011 10:59:38 +0200 | bulwahn | tuned | changeset | files |
| Mon, 12 Sep 2011 10:57:58 +0200 | bulwahn | moving connection of association lists to Mappings into a separate theory | changeset | files |
| Mon, 12 Sep 2011 10:27:36 +0200 | bulwahn | adding NEWS and CONTRIBUTORS | changeset | files |
| Mon, 12 Sep 2011 09:45:53 +0200 | bulwahn | tuned some symbol that probably went there by some strange encoding issue | changeset | files |
| Mon, 12 Sep 2011 11:05:32 +0200 | blanchet | added my contributions to NEWS and CONTRIBUTORS | changeset | files |
| Mon, 12 Sep 2011 10:49:37 +0200 | blanchet | fixed type intersection (again) | changeset | files |
| Mon, 12 Sep 2011 10:49:37 +0200 | blanchet | consistent option naming | changeset | files |