# HG changeset patch
# User oheimb
# Date 888574888 -3600
# Node ID b7c4e4ade1aa7257037c1e638e492e29bed12349
# Parent  ef6a546d6b69b0b5c38026b55f311d784e44cd02
added minimal description of rep_cs: corrections

diff -r ef6a546d6b69 -r b7c4e4ade1aa doc-src/Ref/classical.tex
--- 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$.