diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:46:25 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-25 18:46:25 -0400 |
| commit | 796c806bdf64490e6ef04df7e2c01e7aa94ccb86 (patch) | |
| tree | 683b005b762ba4287b16fc0c4e8799c73c58012c /etc/coq-scripts | |
| parent | 3c36b589a01bce19063872544bca132f3daf947d (diff) | |
add sigma type proof irrelevance wisdom from ssreflect
Diffstat (limited to 'etc/coq-scripts')
0 files changed, 0 insertions, 0 deletions