Updating coq files.