| Tue, 25 Oct 2011 16:09:02 +0200 | nipkow | tuned text | changeset | files |
| Tue, 25 Oct 2011 15:59:15 +0200 | nipkow | tuned names to avoid shadowing | changeset | files |
| Tue, 25 Oct 2011 12:00:52 +0200 | huffman | merge Gcd/GCD and Lcm/LCM | changeset | files |
| Tue, 25 Oct 2011 08:48:36 +0200 | boehmes | clarify types of terms: use proper set type | changeset | files |
| Mon, 24 Oct 2011 16:47:24 +0200 | huffman | instance bool :: linorder | changeset | files |
| Mon, 24 Oct 2011 12:26:05 +0200 | bulwahn | removing poor man's dictionary construction which were only for the ancient code generator with no support of type classes | changeset | files |
| Mon, 24 Oct 2011 11:40:31 +0200 | bulwahn | fixed typo | changeset | files |