diff options
| author | Pierre-Marie Pédrot | 2019-08-27 17:09:49 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-08-27 17:09:49 +0200 |
| commit | 07078458b164ba54decd6c6e9bd059d1d1b6ec8f (patch) | |
| tree | 39494b1228d47f01e61544725abfea0b694c22b2 /engine/proofview.ml | |
| parent | 1e1d5bf3879424688fa9231ba057b05d86674d22 (diff) | |
| parent | 979991789a4adec7d55322b1e997911b0f6fae81 (diff) | |
Merge PR #10680: Tauto: use Coqlib to locate “not” and “NNPP”
Reviewed-by: ppedrot
Diffstat (limited to 'engine/proofview.ml')
0 files changed, 0 insertions, 0 deletions