| Thu, 13 Feb 2014 11:23:55 +0100 | wenzelm | static repair of ML file -- untested (!) by default since 76965c356d2a; | changeset | files |
| Wed, 12 Feb 2014 17:36:00 +0100 | blanchet | iteration n in the 'default' vs. 'update_new' vs. 'update' saga -- 'update' makes sense now that we honor the canonical order on 'merge' (as opposed to raising 'DUP') | changeset | files |
| Wed, 12 Feb 2014 17:35:59 +0100 | blanchet | don't hide constant forever, since it may appear in some 'primcorec'-generated theorems | changeset | files |
| Wed, 12 Feb 2014 17:35:59 +0100 | blanchet | tuning | changeset | files |