Using the standard (type class based) transitivity tactic for more controlable proof terms.
brackets
Removing @ notation magic
Merge branch 'master' of github.com:HoTT/HoTT

Conflicts:
	theories/hit/V.v
Merge branch 'master' of github.com:HoTT/HoTT
Correcting merge, including suggestions.
Merge branch 'master' of github.com:HoTT/HoTT

Conflicts:
	theories/hit/epi.v
merging, for real this time.
Making concat more readable
Being explicit about location
Merge pull request #459 from spitters/master

Using the standard (type class based) transitivity tactic for more contr...