include "basic_2/relocation/frees_frees.ma".
include "basic_2/relocation/freq.ma".
-(* LAZY EQUIVALENCE FOR CLOSURES *******************************************)
+(* RANGED EQUIVALENCE FOR CLOSURES *****************************************)
(* Main properties **********************************************************)