include "basic_2/grammar/term_simple.ma".
include "basic_2/relocation/lifts.ma".
-(* GENERIC TERM RELOCATION **************************************************)
+(* GENERIC RELOCATION FOR TERMS *********************************************)
(* Forward lemmas on simple terms *******************************************)