diff options
| author | Brian Campbell | 2019-03-01 10:39:37 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-01 10:39:37 +0000 |
| commit | dfb2ca35204870809730a0feb0ba98c1f45f57ac (patch) | |
| tree | 6b5302b57619c479b72793999cf440a069191041 /lib/hol | |
| parent | 7503075ef8e9a3698b7bd9c8033ae36a2d0776b9 (diff) | |
Coq: make iff `iff`
Also drop unused implication function
Diffstat (limited to 'lib/hol')
0 files changed, 0 insertions, 0 deletions