HoTT/HoTT — pull request #310 by JasonGross (2014-01-27 22:15:11+00:00)
Title: Equiv bool equiv

Some people in my reading group wanted to see 1.14, so I did it in Coq.