Add some coq files