1.1 --- a/doc-src/Ref/introduction.tex	Sat Jul 01 19:55:22 2000 +0200
     1.2 +++ b/doc-src/Ref/introduction.tex	Sat Jul 01 19:56:46 2000 +0200
     1.3 @@ -301,7 +301,7 @@
     1.4  
     1.5  \subsection{Eta-contraction before printing}
     1.6  \begin{ttbox} 
     1.7 -eta_contract: bool ref \hfill{\bf initially false}
     1.8 +eta_contract: bool ref
     1.9  \end{ttbox}
    1.10  The {\bf $\eta$-contraction law} asserts $(\lambda x.f(x))\equiv f$,
    1.11  provided $x$ is not free in ~$f$.  It asserts {\bf extensionality} of