More work done on uu0, sSet.v is added, surjections moved to hProp.v
Removed all occurences of match from uu0.v
More changes to uu0.v
Revert 0a09536..e2a3de3

This rolls back to commit 0a09536345823ce478190ca1b4c1e8faafd74092.
Revert f97a8f9..953b1c1

This rolls back to commit f97a8f94db6cb59045be5adbe591a40393701f98.
Revert c1fe79e..74c4577

This rolls back to commit c1fe79e7226d057ee4079f554593473067d6801c.
Revert 0a09536..bc2cf98

This rolls back to commit 0a09536345823ce478190ca1b4c1e8faafd74092.
Revert e2a3de3..63ea525

This rolls back to commit e2a3de31ba9198183c72b9dd02891c9a6aec8e4c.
Moved the new uu0 to uu0_no_use_of_match, reverted to 0a09536 version of uu0 and added to it some of the new material from the new uu0.
Added uu0_no_use_of_match, sSet and for_cubical to the git tree
File uu0 split into four. The onld uu0 preserved until a new makefile is created.
Conflicts in uu0 resolved
Changes to uu0 for conflict resolution copied to uu0a
The splitting of uu0 into four parts is completed
Cleaned some directories in Foundations, updated again .package/files
The file sSet.v is added to Foundations/hlevel2
Merge pull request #56 from vladimirias/master

Overhaul: uu0 split into uu0a, uu0b, uu0c, and uu0d.
fix spelling