Dont't forget to update the state or an obligation tactic assignment may have no effect when the module is later imported.
Dont't forget to update the state or an obligation tactic assignment may
have no effect when the module is later imported.


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

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