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