diff options
| author | letouzey | 2006-06-06 14:40:27 +0000 |
|---|---|---|
| committer | letouzey | 2006-06-06 14:40:27 +0000 |
| commit | 3541f4a48ec64c25a8d25458e0b0ebe8e6abbd99 (patch) | |
| tree | 7ee33fbb6e52989a930d774545c74b8d06487129 /doc/RecTutorial/RecTutorial.v | |
| parent | 923259f3cd17bccf2353b3734f8d9f5fb8d89351 (diff) | |
reparation pour le bug #1072 (soufflee par J. Forest):
protection d'un list_chop pour couvrir le cas d'une application
partielle de morphisme.
accessoirement, il faudrait comprendre un jour pourquoi setoid replace
inspecte (and True) dans le terme (map (and True) True <-> A)
si on lui dit de reecrire A en autre chose...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8900 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/RecTutorial/RecTutorial.v')
0 files changed, 0 insertions, 0 deletions