Moved a lemma to a different file.
Added a lemma.
Synchronizing with upstream. Merge branch 'master' of https://github.com/HoTT/HoTT
Renamed a theorem.
Sync.
Merge branch 'master' of https://github.com/HoTT/HoTT
Sync
Merge branch 'master' of https://github.com/HoTT/HoTT
Added some lemmas.
Merge pull request #117 from kristinas/master

Added some lemmas