empty_tmset : term set
STRUCTURE
SYNOPSIS
Empty set of terms.
DESCRIPTION
The value empty_tmset represents an empty set of terms. The set has a built-in ordering, which is given by Term.compare.
COMMENTS
Used as a starting point for building sets of terms.
SEEALSO
HOL  Trindemossen-1