3 commits

Author	SHA1	Message	Date
Leonardo de Moura	de90926eed	refactor(hott): adjust HoTT library to new support for projections	2015-06-26 17:18:30 -07:00
Jeremy Avigad	33214f0895	refactor(hott/*): remove 'Module:' lines	2015-05-23 20:52:58 +10:00
Floris van Doorn	797a2d2047	refactor(category): merge precategory/ and category/, organize construction files differently.	2015-04-29 10:04:06 -07:00