bool_case : term
STRUCTURE
SYNOPSIS
Constant denoting case expressions for bool.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.bool_case is bound to the term bool$bool_case.
SEEALSO
HOL  Kananaskis-10