| Thu, 02 Jul 2009 16:06:12 +0200 | haftmann | instance arities can be simultaneous | file | diff | annotate |
| Wed, 17 Jun 2009 10:34:02 +0200 | haftmann | refined section concerning classes | file | diff | annotate |
| Wed, 06 May 2009 16:01:05 +0200 | haftmann | tuned description of overloading | file | diff | annotate |
| Mon, 16 Mar 2009 17:48:02 +0100 | wenzelm | spelling; | file | diff | annotate |
| Sun, 15 Mar 2009 15:59:43 +0100 | wenzelm | added 'attribute_setup' command; | file | diff | annotate |
| Wed, 11 Mar 2009 23:59:34 +0100 | wenzelm | added 'local_setup' command; | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Mon, 16 Feb 2009 20:15:40 +0100 | wenzelm | modernized some theory names; | file | diff | annotate |
| Sun, 15 Feb 2009 18:54:50 +0100 | wenzelm | added introduction; | file | diff | annotate |
| Mon, 02 Feb 2009 09:27:54 +0100 | haftmann | updated type class section | file | diff | annotate |
| Thu, 22 Jan 2009 09:04:45 +0100 | haftmann | dropped print_interps | file | diff | annotate |
| Mon, 19 Jan 2009 13:37:24 +0100 | haftmann | "code equation" replaces "defining equation" | file | diff | annotate |
| Thu, 13 Nov 2008 22:44:40 +0100 | wenzelm | removed "includes" element (lost update?); | file | diff | annotate |
| Thu, 13 Nov 2008 21:53:54 +0100 | wenzelm | added section "Co-regularity of type classes and arities" (variant from old ref manual); | file | diff | annotate |