From c2942e642ee6f83cc997f9a2510cdb7446a65cb4 Mon Sep 17 00:00:00 2001
From: William Lawvere
Date: Sat, 1 Jul 2017 22:08:44 -0700
Subject: RefMan-gal: improve grammar

---
 doc/refman/RefMan-gal.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-gal.tex b/doc/refman/RefMan-gal.tex
index 3814e4403a..71977d3e9d 100644
--- a/doc/refman/RefMan-gal.tex
+++ b/doc/refman/RefMan-gal.tex
@@ -3,7 +3,7 @@
 \label{BNF-syntax} % Used referred to as a chapter label
 
 This chapter describes \gallina, the specification language of {\Coq}.
-It allows developing mathematical theories and to prove specifications
+It allows developing mathematical theories and proofs of specifications
 of programs.  The theories are built from axioms, hypotheses,
 parameters, lemmas, theorems and definitions of constants, functions,
 predicates and sets. The syntax of logical objects involved in
-- 
cgit v1.2.3