Thu, 04 Sep 2014 09:02:43 +0200 |
blanchet |
renamed internal constant
|
file |
diff |
annotate
|
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
|