fixes sed script in that if 'Proof.' is missing then corresponding 'Defined' or 'Qed' is ignored; fix by Guillaume Verdier