HoTT/HoTT — pull request #6 by kristinas (2012-01-18 02:05:21+00:00)
Title: Adding inductive types in HoTT

Adding the proofs on homotopy initiality of w-types, the type 2, and the encoding of natural numbers as a w type.