Bug d'affichage du prédicat, bug d'affichage des clauses en présence de définitions locales dans le type de l'inductif filtré
Bug d'affichage du prédicat, bug d'affichage des clauses en présence de définitions locales dans le type de l'inductif filtré


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

SamB/coq