[om] Concatenation of lists ??
Michael Kohlhase
Michael_Kohlhase at asuka.mt.cs.cmu.edu
Mon Apr 30 21:17:45 CEST 2001
> > 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
More information about the Om
mailing list