| 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 |
| Mon, 18 Aug 2014 14:09:09 +0200 | desharna | generate 'inj_map_strong' for BNFs | file | diff | annotate |
| Mon, 18 Aug 2014 13:46:22 +0200 | desharna | renamed 'rel_mono_strong' to 'rel_mono_strong0' | file | diff | annotate |
| Thu, 14 Aug 2014 13:20:54 +0200 | desharna | generate 'rel_map' theorem for BNFs | file | diff | annotate |
| Fri, 25 Jul 2014 11:26:10 +0200 | blanchet | tuning | file | diff | annotate |
| Thu, 08 May 2014 11:52:44 +0200 | desharna | generate 'map_ident' theorem for BNFs | file | diff | annotate |
| Wed, 23 Apr 2014 10:23:26 +0200 | blanchet | added 'inj_map' as auxiliary BNF theorem | file | diff | annotate |
| Fri, 07 Mar 2014 22:30:58 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Thu, 06 Mar 2014 15:40:33 +0100 | blanchet | renamed 'fun_rel' to 'rel_fun' | file | diff | annotate |
| Fri, 21 Feb 2014 00:09:56 +0100 | blanchet | adapted to renaming of datatype 'cases' and 'recs' to 'case' and 'rec' | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | renamed '{prod,sum,bool,unit}_case' to 'case_...' | file | diff | annotate |
| Fri, 31 Jan 2014 10:02:36 +0100 | traytel | less hermetic tactics | file | diff | annotate |
| Wed, 29 Jan 2014 16:35:05 +0100 | traytel | made tactic more robust | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | tuned names | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | adjusted comments | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | avoid nested 'Tools' directories | file | diff | annotate | base |