diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-09-24 17:48:28 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-09-24 17:48:28 +0200 |
commit | 8463f0a3f34aa1ca314bde1f3d19a3895df9dcaa (patch) | |
tree | 32c4529b416490f00c1678298598a867e65bf1dd /proofs/logic.mli | |
parent | 1e3d73abd90af8646222bc4d6ea42f7d7ed3ddd1 (diff) |
Adding a test for bug #5096.
Diffstat (limited to 'proofs/logic.mli')
0 files changed, 0 insertions, 0 deletions