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