| Wed, 18 Dec 2013 14:50:25 +0100 | panny | pass down user input in more cases in order to preserve "let"s etc. | changeset | files |
| Wed, 18 Dec 2013 14:06:34 +0100 | panny | pass auto-proved exhaustiveness properties to tactic; | changeset | files |
| Wed, 18 Dec 2013 17:27:17 +0100 | blanchet | merge | changeset | files |