include "ground/lib/stream_hdtl.ma".
include "ground/relocation/gr_map.ma".
(* TAIL FOR GENERIC RELOCATION MAPS *****************************************)
(*** tl *)
include "ground/lib/stream_hdtl.ma".
include "ground/relocation/gr_map.ma".
(* TAIL FOR GENERIC RELOCATION MAPS *****************************************)
(*** tl *)