Backtrack version 1.82 awaiting for better understanding of the consequences of removing Anonymous from evars contexts
Backtrack version 1.82 awaiting for better understanding of the consequences of removing Anonymous from evars contexts


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

SamB/coq