Fixed definition of Suspension as per #122.
cleaning up
sync
Merge branch 'master' of https://github.com/HoTT/HoTT
Merge pull request #125 from kristinas/master

Added some lemmas
Sync
Merge branch 'master' of https://github.com/HoTT/HoTT
Added [Misc.v] for miscellaneous lemmas.
Minor comment additions.
Merge branch 'master' of https://github.com/HoTT/HoTT
Renamed lemmas [nullhomot_susp_from_paths].
Resolved #124: renamed [Equivalences.isequiv_cancelR] to [cancelR_isequiv] etc.
Merge pull request #126 from peterlefanulumsdaine/master

Progress on several issues raised yesterday.
sync
Merge branch 'master' of https://github.com/HoTT/HoTT
Added some lemmas.