HoTT/HoTT — pull request #459 by spitters (2014-09-04 17:48:43+00:00)
Title: Using the standard (type class based) transitivity tactic for more contr...

...olable proof terms. As discussed in #454.