types/Empty.v is done
Merge branch 'master' of https://github.com/HoTT/HoTT
Move "Empty" and "not" and "~" from Empty.v to Overture.v because "Ltac done"
uses them.
Merge branch 'pull-request-1' of https://github.com/DanGrayson/HoTT into upstream