diff options
| author | Brian Campbell | 2018-06-15 18:09:30 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-18 17:26:22 +0100 |
| commit | e7550df45a53509e86aeb29fdb7fa0755119835e (patch) | |
| tree | c4ae315220239deac4b17edda080ebcce33b4f1d /test/c | |
| parent | 538129e56b81bbf0d719a074d7f0bd375f70c4cc (diff) | |
Coq: update prompt monad wrt Lem
Diffstat (limited to 'test/c')
0 files changed, 0 insertions, 0 deletions