doc-src/Ref/classical.tex

 
 \item[\ttindexbold{print_cs} $cs$] displays the printable contents of~$cs$,
   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$.
 
 \item[$cs$ addSEs $rules$] \indexbold{*addSEs}