| Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | tuning | file | diff | annotate |
| Thu, 06 Feb 2014 00:43:57 +0100 | blanchet | don't waste time with old-style 'case's that don't have the required theorems | file | diff | annotate |
| Thu, 06 Feb 2014 00:24:02 +0100 | blanchet | expand 'split' in direct corecursion as well | file | diff | annotate |
| Thu, 06 Feb 2014 00:03:12 +0100 | blanchet | tuning | file | diff | annotate |
| Wed, 05 Feb 2014 23:30:02 +0100 | blanchet | adapted tactic to correctly handle 'if ... then ...' and 'case ...' under lambdas | file | diff | annotate |
| Wed, 05 Feb 2014 17:59:12 +0100 | blanchet | properly massage 'if's / 'case's etc. under lambdas | file | diff | annotate |
| Tue, 21 Jan 2014 16:56:34 +0100 | blanchet | made SML/NJ happier | 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 |