| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
| Thu, 28 May 2015 17:25:57 +1000 | kleing | modernized (slightly) type compiler in MicroJava | file | diff | annotate |