Jakob von Raumer 9607518ce0 chore(hott) reflect @avigad's name changes in the std library		2014-12-16 13:11:32 -08:00
..
empty.hlean	chore(hott) reflect @avigad's name changes in the std library	2014-12-16 13:11:32 -08:00
prod.hlean	chore(hott) fix init	2014-12-16 13:11:32 -08:00
sigma.hlean	chore(hott) fix init	2014-12-16 13:11:32 -08:00