changeset 286 | e7efbf03562b |
parent 104 | d8205bb279a7 |
child 323 | 361a71713176 |
--- a/doc-src/Ref/simp.tex Mon Mar 21 10:51:28 1994 +0100 +++ b/doc-src/Ref/simp.tex Mon Mar 21 11:02:57 1994 +0100 @@ -22,7 +22,7 @@ the simplifier has been set up already. Hence we start by describing the functions provided by the simplifier --- those functions exported by \ttindex{SimpFun} through its result signature \ttindex{SIMP} shown in -Figure~\ref{SIMP}. +Fig.\ts\ref{SIMP}. \section{Simplification sets}