Correction de l'ordre des open (sachant que de toutes façons, un Require au milieu d'un module sera considéré comme situé au début du module chargé)
Correction de l'ordre des open (sachant que de toutes façons, un
Require au milieu d'un module sera considéré comme situé au début du
module chargé)


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

SamB/coq