| Wed, 12 Sep 2012 12:06:03 +0200 | blanchet | reuse generated names (they look better + slightly more efficient) | changeset | files |
| Wed, 12 Sep 2012 11:47:51 +0200 | blanchet | desambiguate grammar (e.g. for Nil's mixfix ("[]")) | changeset | files |
| Wed, 12 Sep 2012 11:39:05 +0200 | blanchet | avoided duplicate lemma | changeset | files |
| Wed, 12 Sep 2012 11:38:22 +0200 | blanchet | put an underscore between names, for compatibility with old package (and also because it makes sense) | changeset | files |
| Wed, 12 Sep 2012 10:36:00 +0200 | blanchet | got rid of metis calls | changeset | files |
| Wed, 12 Sep 2012 10:35:56 +0200 | blanchet | tuning | changeset | files |