HoTT/HoTT — pull request #19 by benediktahrens (2012-10-10 23:39:38+00:00)
Title: Init/Datatypes.v: prod as sigma

Define prod as particular instance of sigma type.
Notations as before, thus no changes in subsequent files necessary.