Nouvelle version de l'algorithme de compilation du filtrage compatible avec une forme expansée des Cases
Nouvelle version de l'algorithme de compilation du filtrage compatible avec une forme expansée des Cases


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

SamB/coq