Added initial Coq files.