T : term
STRUCTURE
boolSyntax
SYNOPSIS
Constant denoting truth.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.T is bound to the term bool$T.
SEEALSO
equality, implication, select, F, universal, existential, exists1, conjunction, disjunction, negation, conditional, bool_case, let_tm, arb
HOL  Kananaskis-14