Refactor coq section files