\DOC implication

\TYPE {implication : term}

\SYNOPSIS
Constant denoting logical implication.

\LIBRARY
boolSyntax

\DESCRIBE
The ML variable {boolSyntax.implication} is bound to the term {min$==>}.

\SEEALSO
boolSyntax.equality, boolSyntax.select, boolSyntax.T, boolSyntax.F, boolSyntax.universal, boolSyntax.existential, boolSyntax.exists1, boolSyntax.conjunction, boolSyntax.disjunction, boolSyntax.negation, boolSyntax.conditional, boolSyntax.bool_case, boolSyntax.let_tm, boolSyntax.arb.
\ENDDOC