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