leanprover/lean — pull request #367 by javra (2014-12-05 05:23:54+00:00)
Title: feat(library/hott) add categories and precategories in HoTT style

some proofs esp. tactic proofs that once worked are broken and need to be fixed