HoTT/HoTT — pull request #165 by JasonGross (2013-08-03 00:54:44+00:00)
Title: Add some IsTrunc typeclass documentation

Also, reorder Overture.v a bit so we can put all the truncation code in
one place. Perhaps the typeclass machinery should go with tactics?
Maybe?