| Thu, 25 Sep 2014 16:35:53 +0200 | desharna | generate 'rec_transfer' for datatypes | file | diff | annotate |
| Tue, 16 Sep 2014 19:23:37 +0200 | blanchet | register 'prod' and 'sum' as datatypes, to allow N2M through them | file | diff | annotate |
| Mon, 01 Sep 2014 13:53:34 +0200 | desharna | generate 'set_transfer' for BNFs | file | diff | annotate |
| Mon, 01 Sep 2014 13:23:39 +0200 | desharna | generate 'rel_transfer' for BNFs | file | diff | annotate |
| Wed, 06 Aug 2014 16:00:11 +0200 | traytel | handle deep nesting in N2M | file | diff | annotate |
| Tue, 29 Jul 2014 23:39:35 +0200 | blanchet | header tuning | file | diff | annotate |
| Thu, 24 Jul 2014 11:54:15 +0200 | wenzelm | more robust notation BNF_Def.convol, which is private to main HOL, but may cause syntax ambiguities nonetheless (e.g. List.thy); | file | diff | annotate |