diff options
| author | desmettr | 2002-07-22 14:23:28 +0000 |
|---|---|---|
| committer | desmettr | 2002-07-22 14:23:28 +0000 |
| commit | 7aad4a091212f693a26539a62bf923085cedca71 (patch) | |
| tree | 1873106a034647d12a5ffb10521ccea44f4fec8a /proofs | |
| parent | 5e73d8b29137356756e3d70fd2f009cf04141c28 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2908 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions