Cleaned coq files