| 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 |