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