Fri, 07 Mar 2014 22:30:58 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
Thu, 06 Mar 2014 12:17:26 +0100 | traytel | more careful simplification of sets (cf. abf91ebd0820)---yields smaller terms | file | diff | annotate |
Tue, 04 Mar 2014 18:57:17 +0100 | blanchet | simplify sets in BNF composition | file | diff | annotate |
Tue, 04 Mar 2014 18:57:17 +0100 | blanchet | tuning | file | diff | annotate |
Mon, 03 Mar 2014 12:48:19 +0100 | blanchet | optimize cardinal bounds involving natLeq (omega) | file | diff | annotate |
Mon, 24 Feb 2014 10:16:10 +0100 | traytel | clarified interaction with dead variables in the composition of BNFs | 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 |