[om] Concatenation of lists ??

[Michael Kohlhase]

> > Dear James, dear all,
> Thanks for singling me out - I don't know why.

the mail was a reply to your message about the lists.

     Michael
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems