--- a/doc-src/Logics/FOL.tex Thu Dec 07 14:24:32 1995 +0100
+++ b/doc-src/Logics/FOL.tex Thu Dec 07 14:25:45 1995 +0100
@@ -660,7 +660,7 @@
equation~$(if)$.
\begin{ttbox}
If = FOL +
-consts if :: "[o,o,o]=>o"
+consts if :: [o,o,o]=>o
rules if_def "if(P,Q,R) == P&Q | ~P&R"
end
\end{ttbox}