UniMath/UniMath — pull request #31 by benediktahrens (2014-10-16 17:14:32+00:00)
Title: Overhaul I : make PathNotations a submodule of uu0, switch all packages to use that submodule

Submodule is not exported, has to be imported explicitly using
"Import PathNotations."
We can export it by default by creating a file exporting the general stuff of Foundations, e.g. until hSet included.