(* ITERATED TAIL FOR GENERIC RELOCATION MAPS ********************************)
(*** tls *)
-definition gr_tls (n) (f:gr_map) â\89\9d â\87£*[n]f.
+definition gr_tls (n) (f:gr_map) â\89\9d â\87\82*[n]f.
interpretation
"iterated tail (generic relocation maps)"