1.1 --- a/doc-src/Ref/simplifier.tex	Tue May 19 17:16:18 1998 +0200
     1.2 +++ b/doc-src/Ref/simplifier.tex	Wed May 20 15:20:28 1998 +0200
     1.3 @@ -360,7 +360,7 @@
     1.4  \index{rewrite rules|)}
     1.5  
     1.6  
     1.7 -\subsection{Simplification procedures}
     1.8 +\subsection{*Simplification procedures}
     1.9  \begin{ttbox}
    1.10  addsimprocs : simpset * simproc list -> simpset
    1.11  delsimprocs : simpset * simproc list -> simpset
    1.12 @@ -926,9 +926,6 @@
    1.13  
    1.14  \section{Permutative rewrite rules}
    1.15  \index{rewrite rules!permutative|(}
    1.16 -\begin{ttbox}
    1.17 -settermless : simpset * (term * term -> bool) -> simpset \hfill{\bf infix 4}
    1.18 -\end{ttbox}
    1.19  
    1.20  A rewrite rule is {\bf permutative} if the left-hand side and right-hand
    1.21  side are the same up to renaming of variables.  The most common permutative
    1.22 @@ -942,6 +939,9 @@
    1.23  lexicographic ordering on terms.  This should be perfectly OK in most
    1.24  cases, but can be changed for special applications.
    1.25  
    1.26 +\begin{ttbox}
    1.27 +settermless : simpset * (term * term -> bool) -> simpset \hfill{\bf infix 4}
    1.28 +\end{ttbox}
    1.29  \begin{ttdescription}
    1.30    
    1.31  \item[$ss$ \ttindexbold{settermless} $rel$] installs relation $rel$ as