leanprover/lean — pull request #353 by javra (2014-11-28 16:35:44+00:00)
Title: chore(library/hott) structures and naming of hott files

change equiv.lean and dependent files to use structures and improved some of the naming