freesl : term list -> term list
STRUCTURE
hol88Lib
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
frees
,
free_varsl
HOL
Kananaskis-10