timing info in README
Merge pull request #36 from benediktahrens/timing-doc

timing info in README
pruned some auxiliary lemmas in RC
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"
update submodule coq version

I think it got bumped back somehow.  The differences are minor, covering
one more case in the type-in-type patch.
Merge pull request #38 from benediktahrens/RC-lemma

pruned some auxiliary lemmas in RC
update README
use PathNotations in statements of uu0

moved path notations from submodule of uu0 to the corresponding constant definitions, thus no need to explicitly import module PathNotations any more to use notations; this commit removes those imports

switched to path notations in statements of hProp and hSet
Merge pull request #35 from benediktahrens/FoundationPathNotations

Introduce some path notations in Foundations, do not use submodules in Foundations
CC0 licensing for RC
Merge pull request #41 from benediktahrens/licensing

CC0 licensing for RC
reimplemented lemmas about id on sigma
renamed file to reflect its contents
adapted files to account for renaming of auxiliary file
Merge pull request #42 from benediktahrens/total2-lemmas

re-implement lemmas to avoid copyright issues, change name of the file containing those lemmas
merge auxiliary files
Merge pull request #43 from benediktahrens/lemmas-to-foundations

merge auxiliary files into one - only files from RC are concerned
Merge remote-tracking branch 'upstream/pull/42'