include "ground/lib/stream_tls.ma".
include "ground/relocation/gr_tl.ma".
(* ITERATED TAIL FOR GENERIC RELOCATION MAPS ********************************)
(*** tls *)
include "ground/lib/stream_tls.ma".
include "ground/relocation/gr_tl.ma".
(* ITERATED TAIL FOR GENERIC RELOCATION MAPS ********************************)
(*** tls *)