Tue, 16 Feb 2016 22:28:19 +0100 | traytel | make predicator a first-class bnf citizen | file | diff | annotate |
Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
Sun, 03 May 2015 18:45:58 +0200 | wenzelm | proper header; | file | diff | annotate |
Wed, 18 Mar 2015 21:40:21 +0100 | traytel | bounded powerset | file | diff | annotate |