Greatly improved Coq formatting.