# HG changeset patch
# User wenzelm
# Date 754233784 -3600
# Node ID caa7a52ff46f1d42887f415b0ab706427eb2babb
# Parent  67d046de093ee5219af6569a0a6a53de91871036
corrected trivial typo;

diff -r 67d046de093e -r caa7a52ff46f doc-src/Ref/introduction.tex
--- a/doc-src/Ref/introduction.tex	Thu Nov 25 14:16:40 1993 +0100
+++ b/doc-src/Ref/introduction.tex	Thu Nov 25 14:23:04 1993 +0100
@@ -39,7 +39,7 @@
 current state of a backward proof.
 
 \item With New Jersey \ML{} you must save the state explicitly before
-ending the session.  While Poly/\ML{} database can be small, a New Jersey
+ending the session.  While a Poly/\ML{} database can be small, a New Jersey
 image occupies several megabytes.
 \end{itemize}
 See your \ML{} compiler's documentation for full instructions on saving the