Sorry for my previous confusing email, this is something I didn't know about. It seems now TL and TL_T are the same.
Jeremy On 02/15/2019 09:59 AM, [email protected] wrote: > the updated definition of TL. _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
