FYI --------------- 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 Hi, 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: http://www.can.nl/OpenMath/openmath-dev/ John.Received on Monday, 23 September 1996 12:25:49 UTC
This archive was generated by hypermail 2.4.0 : Saturday, 15 April 2023 17:19:57 UTC