diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2015-09-17 17:29:05 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2015-09-17 17:29:05 -0400 |
commit | 4ea04c0cd1c7920a56341aa8fa10d06603d9598b (patch) | |
tree | 9edfbf71e47396121b5260e6ca49a0a978ec376a /_CoqProject | |
parent | 766b2727b3eac22a80788b2812475bdc5467b7fe (diff) |
Removed dependency on proof irrelevance (it turns out we had a redundant existential quantifier)
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions