| Sat, 07 Dec 2013 18:06:49 +0100 | traytel | code equations for "local" (co)datatypes available after interpretation of locales with assumptions | file | diff | annotate |
| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | generalized datatype code generation code so that it works with old-style and new-style (co)datatypes (as long as they are not local) | file | diff | annotate |