HoTT/HoTT — pull request #388 by JasonGross (2014-05-08 22:14:58+00:00)
Title: Define the proposition IsGroupoid of a precategory

Also define the precategory of strict groupoids.