diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-11-10 15:45:50 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-11-10 15:45:50 +0000 |
| commit | ffa5a8d728ef0dcf32e878e27b40976ae51d0657 (patch) | |
| tree | d8fb2904e28073788af537874929ddb4c97a6fcc /contrib/correctness/preuves.v | |
| parent | 30d3733a13f7c51ebe80548a9eb09aa9bf089e61 (diff) | |
Work on mutual defs, various bug fixes.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9360 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/correctness/preuves.v')
0 files changed, 0 insertions, 0 deletions