Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk 
          with SMTP (PP-6.0) to cl id <28811-0@swan.cl.cam.ac.uk>;
          Tue, 14 Apr 1992 11:24:15 +0100
To: John.Harrison@uk.ac.cam.cl
cc: leonard@com.dec.enet.ricks, info-hol@edu.uidaho.cs.ted, 
    Tom.Melham@uk.ac.cam.cl
Subject: Re: A wordn library.
In-reply-to: Your message of Mon, 13 Apr 92 17:41:15 +0100. <"swan.cl.ca.421:13.03.92.16.41.29"@cl.cam.ac.uk>
Date: Tue, 14 Apr 92 11:24:03 +0100
From: Tom Melham <Tom.Melham@uk.ac.cam.cl>
Message-ID: <"swan.cl.ca.854:14.03.92.10.25.36"@cl.cam.ac.uk>


tel>   o Allow datatypes to be named something other than word<n>. 
jrh>   An alternative is to use "new_type_abbrev" to set up your own type name

Depending on how much it complicates the rules/conversions, we may 
just advise people to use type abbreviations.