| 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 |
| Mon, 24 Oct 2011 10:45:54 +0200 | nipkow | latex output not needed because errors manifest themselves earlier | changeset | files |
| Sun, 23 Oct 2011 23:11:53 +0200 | wenzelm | some text on inner-syntax; | changeset | files |