Ne pas ajouter le contexte de section dans Abstract, il est deja inclus (avec possibles modifications par clear) dans le contexte de but
Ne pas ajouter le contexte de section dans Abstract, il est deja inclus (avec possibles modifications par clear) dans le contexte de but


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

SamB/coq