[Axiom-developer] [patch] Suggested grammatical improvement for bookvol7.1.pamphlet

[Karl Hegbloom]

See the attached diff.

-- 
Karl Hegbloom <address@hidden>
Phone: 435-659-6257

diff --git a/books/bookvol7.1.pamphlet b/books/bookvol7.1.pamphlet
index a88a865..1bf7b1d 100644
--- a/books/bookvol7.1.pamphlet
+++ b/books/bookvol7.1.pamphlet
@@ -71202,7 +71202,7 @@ find a solution.
 Some computer algebra systems use heuristics or table-driven
 approaches to integration.  When these systems cannot determine the
 answer to an integration problem, they reply ``I don't know.'' Axiom
-uses a algorithm for integration.  that conclusively proves that an
+uses an algorithm for integration that utilizes a conclusive proof that an
 integral cannot be expressed in terms of elementary functions.
 
 \xtc{