--- a/doc-src/TutorialI/Ifexpr/document/Ifexpr.tex Sun Apr 23 11:41:45 2000 +0200
+++ b/doc-src/TutorialI/Ifexpr/document/Ifexpr.tex Tue Apr 25 08:09:10 2000 +0200
@@ -54,7 +54,7 @@
\subsubsection{Transformation into and of If-expressions}
The type \isa{boolex} is close to the customary representation of logical
-formulae, whereas \isa{ifex} is designed for efficiency. Thus we need to
+formulae, whereas \isa{ifex} is designed for efficiency. It is easy to
translate from \isa{boolex} into \isa{ifex}:%
\end{isamarkuptext}%
\isacommand{consts}~bool2if~::~{"}boolex~{\isasymRightarrow}~ifex{"}\isanewline