added all coq translations