Sun, 08 Nov 2009 14:44:31 +0100 | wenzelm | added "declaration (pervasive)"; | file | diff | annotate |
Thu, 02 Jul 2009 16:06:12 +0200 | haftmann | instance arities can be simultaneous | file | diff | annotate |
Thu, 02 Jul 2009 16:00:28 +0200 | haftmann | updated generated files | file | diff | annotate |