frees : term -> term list
STRUCTURE
SYNOPSIS
Returns a list of the variables which are free in a term.
DESCRIPTION
frees is equivalent to rev o Term.free_vars.
FAILURE
Never fails.
COMMENTS
Superseded by Term.free_vars.
SEEALSO
HOL  Trindemossen-1