diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-04-09 10:11:14 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-09 10:11:14 +0200 |
| commit | d82346e23d36ff8d09a1628c5c592a49ba370bab (patch) | |
| tree | e6ced57b1d610f514b641cba5475e0e45c091e80 /test-suite/coqchk/include.v | |
| parent | a4666e2b52fdb59e641c77c17537f1f5d256c7b2 (diff) | |
| parent | 4fba4b00257e8ddbc94f71115d139bfc2483944d (diff) | |
Merge PR #7082: Expliciting and taking advantage of a representation invariant in Esubst
Diffstat (limited to 'test-suite/coqchk/include.v')
0 files changed, 0 insertions, 0 deletions