From Tom.Melham@computer-lab.cambridge.ac.uk Thu Jan 24 17:22:29 1991
Received: from titan.inmos.co.uk by frogland.inmos.co.uk; Thu, 24 Jan 91 17:22:29 GMT
From: Tom.Melham@computer-lab.cambridge.ac.uk
Received: from inmos-c.inmos.com by titan.inmos.co.uk with DNI-MTP [1.1]
        id inmos-c-14629; Thu, 24 Jan 91 17:22:30 GMT
Received: from iris.eecs.ucdavis.edu by uunet.uu.net (5.61/1.14) with SMTP
        id AA20989; Thu, 24 Jan 91 11:57:59 -0500
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0)
        id AA01076; Thu, 24 Jan 91 08:06:44 -0800
Received: from sun2.nsfnet-relay.ac.uk by clover.eecs.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA05937; Thu, 24 Jan 91 08:08:26 PST
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <12687-58@sun2.nsfnet-relay.ac.uk>;
          Wed, 23 Jan 1991 21:08:47 +0000
Received: from sun2.nsfnet-relay.ac.uk by vax.NSFnet-Relay.AC.UK via Janet
          with NIFTP id aa21084; 23 Jan 91 20:49 GMT
Received: from cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP)
          id <19879-0@swan.cl.cam.ac.uk>; Wed, 23 Jan 1991 20:32:18 +0000
To: info-hol@clover.ucdavis.edu
Subject: version 12 contrib directory
Date: Wed, 23 Jan 91 20:32:25 +0000
Message-Id: <"swan.cl.ca.881:23.00.91.20.32.21"@cl.cam.ac.uk>

CALL FOR CONTRIBUTIONS: HOL VERSION 12 "CONTRIB" DIRECTORY
----------------------------------------------------------

As has been mentioned previously on this mailing list, a contrib directory has
been instituted in HOL version 12. This directory contains contributions from
the HOL user community which are distributed with the HOL source.

Version 12 of the system is soon to be offically released.  Users with material
they wish to be included in the contrib directory for this release are
therefore invited to send it to me (tfm@cl.cam.ac.uk) as soon as possible.

Each contribution is given a separate subdirectory within contrib, and standard
READ-ME file is included in each subdirectory, giving at least the following
information:

   * name of the subdirectory
   * a one-line description of the contents
   * name and full postal address of the author
   * email addresse of the author(s)
   * date of inclusion in contrib

Please send this information with your contributions.   Any other information
you wish can also be included in the READ-ME file.

Tom

