A non-text attachment was scrubbed... Name: not available Type: text Size: 1208 bytes Desc: not available Url : http://openmath.org/pipermail/om/attachments/19990708/c8ba3120/attachment.diff