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 Kananaskis-14