diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2016-05-26 11:32:51 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2016-05-26 11:45:16 +0200 |
commit | 9de5a59aa6994e8023b9e551b232a73aab3521fa (patch) | |
tree | c6051f7bf04b0f76a28f18c12867e5fe44f50be1 /proofs/pfedit.mli | |
parent | 891a8a9f7ea3bb5b0b07dc5a2df51314135d8b53 (diff) |
rewrite/Univs: Fix bug # 4498.
Diffstat (limited to 'proofs/pfedit.mli')
0 files changed, 0 insertions, 0 deletions