HoTT/HoTT — pull request #238 by JasonGross (2013-10-28 18:00:39+00:00)
Title: mono -> ismono; epi -> isepi

The massive changes in quotient.v are all whitespace/line-ending
normalization.