diff options
| author | notin | 2006-12-12 18:44:29 +0000 |
|---|---|---|
| committer | notin | 2006-12-12 18:44:29 +0000 |
| commit | 29db87956fb866fd63ce47b90ae2412d71ffc02d (patch) | |
| tree | fe449d7deca91b7f77a0404b59996c7fa3a11c71 /doc/tutorial | |
| parent | 0e416b95c593bf315885f83e17575fcd26470c0f (diff) | |
Correction du bug #1273, deuxième version (avec des shémas d'elimination plus simples)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9446 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions