| Thu, 06 Sep 2012 11:57:36 +0200 | blanchet | tuning | changeset | files |
| Thu, 06 Sep 2012 11:55:23 +0200 | blanchet | use "add_type" rather than "add_types_global" | changeset | files |
| Thu, 06 Sep 2012 11:51:19 +0200 | blanchet | don't throw away the context when hacking the theory (first step to localize the sugar code) | changeset | files |