Merge pull request #10 from UniMath/master

Merging updates from the main repository
Merge pull request #11 from UniMath/master

Updating my fork from the main repository
Changes to uuu and uu0
fix a minro problem in Circle.v

... that resulted from Foundations using "induction" instead of "destruct" throughout.
Merge branch 'master' of github.com:UniMath/UniMath
Merge pull request #39 from DanGrayson/master

"induction" instead of "destruct"