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