See the attached diff.
--
Karl Hegbloom <[EMAIL PROTECTED]>
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{
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
