diff options
| author | herbelin | 2007-06-05 08:31:24 +0000 |
|---|---|---|
| committer | herbelin | 2007-06-05 08:31:24 +0000 |
| commit | ed077d8fb6de582ef96d8c40605473efc3430638 (patch) | |
| tree | 23558940e663b18e4be7a9278d6779e8d6f0e740 /doc/RecTutorial | |
| parent | fb7465c9c4d3e88cb6b4c388901db25d3ae923b8 (diff) | |
Amélioration de la complexité de auto (l'utilisation des types dans
l'unification -r9842- avait introduit des appels inutiles et coûteux à
hnf_constr).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9875 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/RecTutorial')
0 files changed, 0 insertions, 0 deletions