| Tue, 23 Apr 2013 17:13:14 +0200 | blanchet | more examples | changeset | files |
| Tue, 23 Apr 2013 16:49:14 +0200 | blanchet | tuning | changeset | files |
| Tue, 23 Apr 2013 16:41:59 +0200 | blanchet | fix bugs in expand tactic w.r.t. datatypes with "needless" discriminators (e.g. lists with is_Nil instead of ~= Nil) | changeset | files |