Update coq files