diff options
| author | herbelin | 2006-05-31 22:34:06 +0000 |
|---|---|---|
| committer | herbelin | 2006-05-31 22:34:06 +0000 |
| commit | c482258b332a27c38ec0547d3c36e9f04eeae9c2 (patch) | |
| tree | 146d0f0d7f0f9e8a5385a89b3dc34d1c0de0f4ea /doc/tutorial | |
| parent | d5b8d356ca0441dc96b87bd7615147813d7aa64a (diff) | |
Fusion if.v et If.v (MacOS X ne sait pas distinguer la casse)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8885 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions