| Tue, 04 Mar 2014 18:57:17 +0100 | blanchet | simplify sets in BNF composition | file | diff | annotate |
| Mon, 03 Mar 2014 12:48:20 +0100 | blanchet | removed obsolete, harmful step in tactic | file | diff | annotate |
| Mon, 03 Mar 2014 12:48:20 +0100 | blanchet | rationalized internals | file | diff | annotate |
| Tue, 25 Feb 2014 18:14:26 +0100 | traytel | joint work with blanchet: intermediate typedef for the input to fp-operations | 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 |
| Mon, 20 Jan 2014 20:21:12 +0100 | blanchet | move BNF_LFP up the dependency chain | 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 |