| Mon, 12 Sep 2011 13:35:35 +0200 | bulwahn | merged | changeset | files |
| Mon, 12 Sep 2011 12:33:37 +0200 | bulwahn | correcting imports after splitting and renaming AssocList | changeset | files |
| 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 |