HoTT/HoTT — pull request #85 by DanGrayson (2013-02-20 20:24:25+00:00)
Title: improve "make clean" and change some identifier names

make "make clean" remove all *.vo and *.glob files, even the unknown ones

change some identifier names to obey the convention that types are capitalized
and objects are not. Also change HProp, HSet, Trunc to IsHProp, IsHSet, IsTrunc.