Cleaning up of Evd. Extruding the tower of modules used to define evar_maps. They did not really enhance the safety of the code, as several outer parts acceeded directly to the internal representation.
Cleaning up of Evd. Extruding the tower of modules used to define evar_maps.
They did not really enhance the safety of the code, as several outer parts
acceeded directly to the internal representation.

git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@16762 85f007b7-540e-0410-9357-904b9bb8a0f7

ejgallego/coq,gmalecha/coq,letouzey/coq-wip,herbelin/github-coq,jpdeplaix/coq,letouzey/coq-wip,aspiwack/coq,mattam82/coq,Matafou/coq,JasonGross/coq,pirapira/coq2rust,herbelin/github-coq,ppedrot/coq,ppedrot/coq,SkySkimmer/coq,gares/coq,amintimany/coq,ale-f/coq,silene/coq,Lionel-Rieg/coq,pirbo/coq,aspiwack/coq,coq/coq,pirapira/coq2rust,ejgallego/coq,barras/coq,TOSPIO/coq,barras/coq,maximedenes/coq,gares/coq,ppedrot/coq,mlasson/coq,ppedrot/coq,Zimmi48/coq,gares/coq,pirapira/coq2rust,8l/coq,coq/coq,maximedenes/coq,TheTypoMaster/coq,aspiwack/coq,Ptival/coq,coq/coq,TOSPIO/coq,TheTypoMaster/coq,jpdeplaix/coq,8l/coq,JasonGross/coq,mattam82/coq,mlasson/coq,mattam82/coq,asr/coq,gares/coq,TheTypoMaster/coq,Ptival/coq,ale-f/coq,JasonGross/coq,TOSPIO/coq,Zimmi48/coq,william-lawvere/coq,ejgallego/coq,maximedenes/coq,asr/coq,gmalecha/coq,silene/coq,ppedrot/coq,william-lawvere/coq,shindere/coq,8l/coq,herbelin/github-coq,gares/coq,JasonGross/coq,Matafou/coq,SkySkimmer/coq,Matafou/coq,Ptival/coq,amintimany/coq,jpdeplaix/coq,ejgallego/coq,Zimmi48/coq,coq/coq,shindere/coq,letouzey/coq-wip,shindere/coq,letouzey/coq-wip,ale-f/coq,silene/coq,amintimany/coq,Zimmi48/coq,SkySkimmer/coq,pirbo/coq,maximedenes/coq,barras/coq,SkySkimmer/coq,william-lawvere/coq,Lionel-Rieg/coq,asr/coq,maximedenes/coq,pirbo/coq,Lionel-Rieg/coq,letouzey/coq-wip,gmalecha/coq,mlasson/coq