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, michael.norr...@data61.csiro.au wrote: > the updated definition of TL. _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
