negation : term
STRUCTURE
SYNOPSIS
Constant denoting logical negation.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.negation is bound to the term bool$~.
SEEALSO
HOL  Kananaskis-13