Move "Empty" and "not" and "~" from Empty.v to Overture.v because "Ltac done"
uses them.