freesl : term list -> term list
STRUCTURE
SYNOPSIS
Returns a list of the free variables in a list of terms.
DESCRIPTION
freesl is equivalent to rev o Term.free_varsl.
FAILURE
Never fails.
COMMENTS
Superseded by Term.free_varsl.
SEEALSO
HOL  Kananaskis-10