update coq documentation