equality : term
STRUCTURE
SYNOPSIS
Constant denoting logical equality.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.equality is bound to the term min$=.
SEEALSO
HOL  Trindemossen-1