
diff -r fd4a6585e5bf -r e7efbf03562b doc-src/Ref/simp.tex
--- 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}




