HoTT/coq — pull request #22 by mdnahas (2013-03-06 19:34:48+00:00)
Title: Stable

Creating stable BRANCH.
Will be used for HoTT coq library development.