 r9778@tannat:  jforest | 2006-10-13 11:36:37 +0200  Changement de nom des lemme de correction/completude des Functions vis a vis de leur graphes.
 r9778@tannat:  jforest | 2006-10-13 11:36:37 +0200
 Changement de nom des lemme de correction/completude des Functions vis a vis de leur graphes.


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@9236 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq