--- a/doc-src/Ref/classical.tex Fri Feb 27 11:18:29 1998 +0100
+++ b/doc-src/Ref/classical.tex Fri Feb 27 11:21:28 1998 +0100
@@ -266,10 +266,9 @@
which is the rules. All other parts are non-printable.
\item[\ttindexbold{rep_cs} $cs$] decomposes $cs$ as a record of its internal
- components, namely the safe intruduction and elimination rules, the unsafe
- intruduction and elimination rules, the lists of safe and unsafe wrappers
- (see \ref{sec:modifying-search}),
- and the internal representation of the rules.
+ components, namely the safe introduction and elimination rules, the unsafe
+ introduction and elimination rules, the lists of safe and unsafe wrappers
+ (see \ref{sec:modifying-search}), and the internalized forms of the rules.
\item[$cs$ addSIs $rules$] \indexbold{*addSIs}
adds safe introduction~$rules$ to~$cs$.