On 31/01/18 10:37, Yaqing Jiang wrote: > Thanks for the information. I'll check this in HOL Light.
You are welcome. Please address replies to messages in a mailing list to the mailing list, unless there is some special reason for not to.
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
