Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-21 21:39:46 -0800 (Mon, 21 Feb 2000)
Revision: 2905
Log message:
Added a new function for free variable testing.
Renamed all the free variable testing functions for uniformity:
val is_var_free : string -> term -> bool
val is_some_var_free : string list -> term -> bool
val is_some_var_free_list : string list -> term list -> bool
Made Strict rewriter checking use is_some_var_free (speedup!).