diff options
| author | Enrico Tassi | 2017-03-23 15:09:50 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2017-03-23 15:09:50 +0100 |
| commit | caeeae8dcf76d494b20d7970b7e9e7022be96321 (patch) | |
| tree | 8b146e3b9327c28dc51776bcaf1ef40a969e4f69 /mathcomp/_CoqProject | |
| parent | 41e85ca95479ce1c8b4bf3832f6d6cb07e361655 (diff) | |
ssrtest/elim.v: don't depend on Function
We inline the lemmas it generated, to ectly test the same thing
as before.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions