Use a map function instead of a fold when freezing summaries.
Use a map function instead of a fold when freezing summaries.

This is O(n) instead of O(n log n) and should be more efficient in practice.

silene/coq,gares/coq,coq/coq,JasonGross/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,silene/coq,Zimmi48/coq,ejgallego/coq,coq/coq,gares/coq,gares/coq,silene/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,JasonGross/coq,SkySkimmer/coq,JasonGross/coq,gares/coq,SkySkimmer/coq,gares/coq,JasonGross/coq,coq/coq,Zimmi48/coq,coq/coq