Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <03808-0@swan.cl.cam.ac.uk>; Sun, 9 Feb 1992 18:11:06 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA07172; Sun, 9 Feb 92 10:02:22 -0800 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 AA07167; Sun, 9 Feb 92 10:02:15 -0800 Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <03606-0@swan.cl.cam.ac.uk>; Sun, 9 Feb 1992 17:56:14 +0000 To: info-hol@edu.uidaho.cs.ted Cc: Tom.Melham@uk.ac.cam.cl Subject: revisions to pred_sets library are finished. Date: Sun, 09 Feb 92 17:56:10 +0000 From: Tom.Melham@uk.ac.cam.cl Message-Id: <"swan.cl.ca.608:09.01.92.17.56.17"@cl.cam.ac.uk> The revisions I proposed for the HOL pred_sets library are now complete, and there is now a Manual for the library. Anyone who wants this revised version of pred_sets before the release of HOL 2.01 should send me mail. Tom