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