Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <10262-0@swan.cl.cam.ac.uk>; Thu, 20 Feb 1992 14:04:41 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA15400; Thu, 20 Feb 92 05:48:35 -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 AA15396; Thu, 20 Feb 92 05:48:30 -0800 Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <09991-0@swan.cl.cam.ac.uk>; Thu, 20 Feb 1992 13:50:25 +0000 To: shb@com.oracorp.sparta Cc: info-hol@edu.uidaho.cs.ted, Tom.Melham@uk.ac.cam.cl Subject: Re: Sorting utility In-Reply-To: Your message of Wed, 19 Feb 92 16:18:59 -0500. <9202192118.AA08757@sparta.oracorp.com> Date: Thu, 20 Feb 92 13:50:22 +0000 From: Tom.Melham@uk.ac.cam.cl Message-Id: <"swan.cl.ca.993:20.01.92.13.50.28"@cl.cam.ac.uk> > I've written a C utility that can take files of HOL items... If you're willing, you could send it (with instructions) to John Harrison (jrh@cl.cam.ac.uk) and he'll install it in the contrib directory of the HOL distribution. The same goes for anything other people may wish to make generally available to the user community. Tom