diff options
author | jforest <jforest@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-09-09 15:20:15 +0000 |
---|---|---|
committer | jforest <jforest@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-09-09 15:20:15 +0000 |
commit | 0c0481a2fdea2e5efb30d9cd11563e04c2861077 (patch) | |
tree | e409b9e89285e3c5868fc6d27e6c1c28d51eb484 /proofs/proof.mli | |
parent | 3b4a94e3b7b827fe8f66d6c50a09439b07b594db (diff) |
correction du bug 2047
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14465 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs/proof.mli')
0 files changed, 0 insertions, 0 deletions