fun concat_rev ([],[]) = nil
|   concat_rev ([], l2) = concat_rev(nil,tl l2) @ [hd l2]
|   concat_rev (l1,l2) = concat_rev(tl l1, l2) @ [hd l1];