empty_tmset : term set
STRUCTURE
Term
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
compare
,
empty_varset
HOL
Kananaskis-14