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 /src/Tactics | |
| parent | 766b2727b3eac22a80788b2812475bdc5467b7fe (diff) | |
Removed dependency on proof irrelevance (it turns out we had a redundant existential quantifier)
Diffstat (limited to 'src/Tactics')
0 files changed, 0 insertions, 0 deletions