diff options
| author | aspiwack | 2007-05-30 17:31:50 +0000 |
|---|---|---|
| committer | aspiwack | 2007-05-30 17:31:50 +0000 |
| commit | fb7465c9c4d3e88cb6b4c388901db25d3ae923b8 (patch) | |
| tree | cdc449984a4e7f102e7b37cb2efd8f7bde2088a6 /doc/tutorial/Tutorial.tex | |
| parent | 7350f5de205ea54e277be1d82cc045788182f82e (diff) | |
Corrections dans le Print Assumption. Les definitions locales ("Let")
sont maintenant prises en compte (ca a l'air de marcher). En plus j'ai
corrige l'ordre d'impression pour que ca imprime les noms dans l'ordre
alphabetique (avant c'etait l'ordre inverse, etonnament perturbant).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9873 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions