UniMath/UniMath — pull request #35 by benediktahrens (2014-10-22 20:52:07+00:00)
Title: Introduce some path notations in Foundations, do not use submodules in Foundations

This PR
- deletes the submodule PathNotations from uu0 and instead defines the notations directly where the corresponding constants are defined
- removes the imports of the deleted submodule PathNotations from files in RC and KT
- uses the path notations in statements of files uu0, hProp and hSet of Foundations