diff options
| author | Brian Campbell | 2019-04-02 18:21:48 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-04 11:21:09 +0100 |
| commit | a5d0d75654f9dd14a6fa0c444fe744b9c18d30a5 (patch) | |
| tree | 9175104e71bf7cd019014ac02f87c1f5fe2bee2b /lib/hol | |
| parent | 689eae8371c368965c9821a00fa98506c133cd45 (diff) | |
Coq: correct projection in plain monadic and/or
Diffstat (limited to 'lib/hol')
0 files changed, 0 insertions, 0 deletions