implication : term
STRUCTURE
SYNOPSIS
Constant denoting logical implication.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.implication is bound to the term min$==>.
SEEALSO
HOL  Kananaskis-14