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