pruned some auxiliary lemmas in RC
Merge pull request #38 from benediktahrens/RC-lemma

pruned some auxiliary lemmas in RC
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'
Merge branch 'master' of github.com:UniMath/UniMath