MAJ commentaires et inversion du sens du graphe de contraintes pour extensibilité aux contraintes numériques
MAJ commentaires et inversion du sens du graphe de contraintes pour extensibilité aux contraintes numériques


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

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