identity coercion from UU to Type
Merge pull request #23 from benediktahrens/coerceUUtoType

identity coercion from UU to Type
Merge pull request #8 from UniMath/master

Identity coercion from UU to Type and other improvements
Removed a few references to Type
New work added
composition with iso is weq
Merge pull request #25 from benediktahrens/master

composition with iso is weq
added version of weqimplimpl to hProp
Merge pull request #26 from benediktahrens/hprop

added version of weqimplimpl to hProp
improve INSTALL file
added 2 lemmas about inverse morphisms to precategories
added lemma assoc4 to first compose two middle morphisms of 4
Merge pull request #28 from benediktahrens/master

3 lemmas for precategories
Merge pull request #9 from UniMath/master

Update
remark about missing native compiler
clarified Problems section in README
Merge pull request #29 from benediktahrens/readme

remark about missing native compiler
A commit after a long interval
Merge pull request #30 from vladimirias/master

Synching multiple changes
Merge pull request #10 from UniMath/master

Merging updates from the main repository