--- 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