Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <04667-0@swan.cl.cam.ac.uk>; Wed, 17 Jun 1992 17:19:32 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02773; Wed, 17 Jun 92 06:54:54 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA02768; Wed, 17 Jun 92 06:54:48 -0700 Received: from auk.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <01707-0@swan.cl.cam.ac.uk>; Wed, 17 Jun 1992 14:55:28 +0100 To: info-hol@edu.uidaho.cs.ted Subject: Libraries for Version 2.1 Date: Wed, 17 Jun 92 14:55:21 +0100 From: John Harrison Message-Id: <"swan.cl.ca.709:17.05.92.13.55.30"@cl.cam.ac.uk> We are fairly close to releasing Cambridge HOL version 2.1. Any complete libraries which authors want to include should be sent to me soon. If people have libraries still in preparation which they'd like to include in 2.1, then can I ask them to let me know when they are likely to be finished. This will help us decide whether to hold back version 2.1 a little longer, or aim to include the libraries in a later version. Entries for "contrib" are also welcome of course. John (jrh@cl.cam.ac.uk)