coq/coq — pull request #4 by JasonGross (2013-11-22 00:03:55+00:00)
Title: Improve handling of sigma types in the standard library.

Pull request for bugs 3043 and 3044.

I haven't actually tested this yet (I'm testing it now, and will comment when I've succeeded in testing it).