----------------------------------------------------------------------
equality                                                  (boolSyntax)
----------------------------------------------------------------------
equality : term

SYNOPSIS
Constant denoting logical equality.

LIBRARY
boolSyntax

DESCRIBE
The ML variable {boolSyntax.equality} is bound to the term {min$=}.

SEEALSO
boolSyntax.implication, boolSyntax.select, boolSyntax.T, boolSyntax.F,
boolSyntax.universal, boolSyntax.existential, boolSyntax.exists1,
boolSyntax.conjunction, boolSyntax.disjunction, boolSyntax.negation,
boolSyntax.conditional, boolSyntax.bool_case, boolSyntax.let_tm,
boolSyntax.arb.

----------------------------------------------------------------------