HoTT/Public — pull request #1 by awodey (2012-04-23 20:43:06+00:00)
Title: Inductive types in HoTT

Development by Awodey, Gambino and Sojakova