diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-06-27 16:37:15 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-06-27 23:13:52 +0200 |
| commit | 727dcedd8d1d6be5c77cbf4bbe08ff18facf3ba2 (patch) | |
| tree | ccbf21e6aa9f969210c0c4c89f18b238d132fe91 /theories/Logic/PropFacts.v | |
| parent | 6ae5029770567b11f5872d33be63357ff3a0cb17 (diff) | |
Typeclasses: fix treatment of exceptions in compat
Diffstat (limited to 'theories/Logic/PropFacts.v')
0 files changed, 0 insertions, 0 deletions