[abbott@can.nl: Discussion about "types in OpenMa]


Return-path: <owner-openmath-sym@can.nl>
Received: from titan. (GATE1.AMS.ORG) by AXP14.AMS.ORG (PMDF V5.0-6 #16534)
 id <01I9TGN6741S000DMI@AXP14.AMS.ORG> for rfw@AXP14.AMS.ORG; Mon,
 23 Sep 1996 12:24:20 -0500 (EST)
Received: from cand.can.nl by titan. (SMI-8.6/SMI-SVR4) id MAA23546; Mon,
 23 Sep 1996 12:25:38 -0400
Received: by cand.can.nl via EUnet; Mon, 23 Sep 1996 16:21:40 +0000 (MET)
Received: by cand.can.nl with SMTP; Mon, 23 Sep 1996 18:21:37 +0200 (MET)
Received: by ruby.can.nl via EUnet; Mon, 23 Sep 1996 18:19:00 +0200 (MET)
Date: Mon, 23 Sep 1996 18:19:00 +0200
From: abbott@can.nl
Subject: Discussion about "types in OpenMath" on openmath-dev@can.nl
Sender: owner-openmath-sym@can.nl
To: openmath-sym@can.nl
Message-id: <9609231619.AA25016@ruby.can.nl>
Content-transfer-encoding: 7BIT
Precedence: bulk


Tomorrow I plan to start a discussion (on openmath-dev@can.nl) about types
and type information in OpenMath.  If you wish to be included in this
discussion and are not already a member of openmath-dev then please join
that email group (by sending email to majordomo@can.nl with the body saying
"subscribe openmath-dev" (without the double quotes)).

If you can't recall if you're already a member, it does no harm to try to
join again.

If you are not a member of openmath-dev, you might find it worthwhile to
look through some of the emails in the archive for that email group: