Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Wed, 23 Sep 1992 17:31:22 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02372;
          Wed, 23 Sep 92 08:58:51 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA02367;
          Wed, 23 Sep 92 08:58:27 -0700
Received: from heron.cl.cam.ac.uk (user ww) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.2) to cl; Wed, 23 Sep 1992 16:57:05 +0100
To: info-hol@edu.uidaho.cs.ted
Subject: wordn library in contrib
Date: Wed, 23 Sep 92 16:56:52 +0100
From: Wai Wong <Wai.Wong@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.689:23.08.92.15.57.08"@cl.cam.ac.uk>

	I've put a library `wordn` for n-bit words in the
HOL/contrib directory (which will be distributed
with version 2.01). There is a half-finished manual. A summary of
the libary is in the file wordn/Manual/summary which contains a list
of all user functions. For more details, please look at the comments
in the source files.

	Any comments, suggestions are very welcome.

Wai