From info-hol-request@ted.cs.uidaho.edu Mon Apr 13 19:44:53 1992
Received: from brwbf.inmos.co.uk by frogland.inmos.co.uk; Mon, 13 Apr 92 19:44:53 BST
Received: from inmos-c.inmos.com by brwbf.inmos.co.uk with DNI-MTP [1.1]
        id inmos-c-1444; Mon, 13 Apr 92 19:45:20 BST
Received: from ted.cs.uidaho.edu by relay2.UU.NET with SMTP
        (5.61/UUNET-internet-primary) id AA26251; Mon, 13 Apr 92 12:58:39 -0400
Received: by ted.cs.uidaho.edu (16.6/1.34)
        id AA14456; Mon, 13 Apr 92 09:43:43 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34)
        id AA14452; Mon, 13 Apr 92 09:43:37 -0700
Received: from auk.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl
          id <13417-0@swan.cl.cam.ac.uk>; Mon, 13 Apr 1992 17:41:24 +0100
To: "Tim Leonard, DTN 225-5809, HLO2-3/C11 13-Apr-1992 1126" <leonard@ricks.enet.dec.com>
Cc: info-hol@ted.cs.uidaho.edu
Subject: Re: A wordn library.
In-Reply-To: Your message of Mon, 13 Apr 92 11:25:04 -0400. <9204131525.AA14974@easynet.crl.dec.com>
Date: Mon, 13 Apr 92 17:41:15 +0100
From: John Harrison <John.Harrison@cl.cam.ac.uk>
Message-Id: <"swan.cl.ca.421:13.03.92.16.41.29"@cl.cam.ac.uk>


I write:

  An alternative is to use "new_type_abbrev" to set up your own type name,
  although this has the disadvantage of not being stored in theory files.

Actually it has just been pointed out to me that type abbreviations *are*
stored in theory files. I was thinking of antiquotation. Sorry for the
disinformation.

John.
