GitHub PushEvent at 2014-04-11 00:15:13
Repository: coq
Actor: letouzey
Payload: {"shas":[["9f81e2c360c2be764e71d21ed7c266ee6e8a88c5","1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@maximedenes.fr","Fix guard condition for nested cofixpoints.\n\nThere were actually two problems, one of them being clearly unsound.\nTo make sure that this does not show up somewhere else in the code, it would\nbe better to resort to an abstraction keeping in sync the environment and the\nDe Bruijn index of the current cofixpoints, like guard_env does for fixpoints.","Maxime Dénès",true]],"size":1,"ref":"refs/heads/trunk","head":"9f81e2c360c2be764e71d21ed7c266ee6e8a88c5"}