| Thu, 14 Apr 2016 20:29:42 +0200 | traytel | n2m operates on (un)folds | file | diff | annotate |
| Tue, 05 Apr 2016 09:54:17 +0200 | traytel | single uniqueness theorems for map, (un)fold, (co)rec for mutual (co)datatypes | file | diff | annotate |
| Wed, 17 Feb 2016 17:08:36 +0100 | blanchet | making 'pred_inject' a first-class BNF citizen | file | diff | annotate |
| Mon, 15 Feb 2016 13:30:04 +0100 | blanchet | keep 'ctor_iff_dtor' theorem around in BNF FP database | file | diff | annotate |
| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Thu, 26 Mar 2015 17:10:24 +0100 | blanchet | store low-level (un)fold constants | file | diff | annotate |
| Mon, 15 Dec 2014 07:20:48 +0100 | blanchet | renamed theory file | file | diff | annotate | base |