UniMath/UniMath — pull request #62 by benediktahrens (2014-12-09 18:47:30+00:00)
Title: moved lemmas about paths and total spaces to Foundations, adapt RC and Kt

Move some of the content of RC/total2_paths.v to uu0 and and hProp.
In consequence, the file RC/total2_paths.v is not required in most other files any more.