# HG changeset patch
# User lcp
# Date 800181739 -7200
# Node ID 49ed9a4156374c4ba4a013d1f88c7323815391dc
# Parent  93ba05d8ccdceb813e479a9aa839af1d9667ddea
Indexing of COMP

diff -r 93ba05d8ccdc -r 49ed9a415637 doc-src/Ref/thm.tex
--- a/doc-src/Ref/thm.tex	Thu May 11 10:38:30 1995 +0200
+++ b/doc-src/Ref/thm.tex	Thu May 11 10:42:19 1995 +0200
@@ -595,7 +595,7 @@
 \[ (\List{\phi@1; \ldots; \phi@{i-1}; \phi@{i+1}; \ldots; \phi@n} \Imp \phi)s.
 \]
 
-\item[\tt $thm@1$ COMP $thm@2$] 
+\item[$thm@1$ \ttindexbold{COMP} $thm@2$] 
 calls \hbox{\tt compose ($thm@1$, 1, $thm@2$)} and returns the result, if
 unique; otherwise, it raises exception~\xdx{THM}\@.  It is
 analogous to {\tt RS}\@.