instanciation des opérateurs sur la bonne signature (celle de définition, puisqu'elle ne peut pas changer, mais qu'elle peut être un préfixe)
instanciation des opérateurs sur la bonne signature (celle de
définition, puisqu'elle ne peut pas changer, mais qu'elle peut être un
préfixe)


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

SamB/coq