diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-06 16:39:43 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-06 16:39:43 +0200 |
| commit | ec96efa8c10effb890c79ef3479ea4390ed8796e (patch) | |
| tree | 1ac69605c6a453fb741a2df13590d7014a8841b8 /proofs/pfedit.mli | |
| parent | 886ed2ee99e9ab9f0fc9aabac06a555d3beba19c (diff) | |
| parent | 950edbf1a9ddc0419347d809d1f3bb125174ce10 (diff) | |
Merge PR #8008: Add test for #8004.
Diffstat (limited to 'proofs/pfedit.mli')
0 files changed, 0 insertions, 0 deletions