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