Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <05513-0@swan.cl.cam.ac.uk>; Mon, 4 May 1992 16:48:01 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA23839; Mon, 4 May 92 08:36:24 -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 AA23835; Mon, 4 May 92 08:36:18 -0700 Received: from razorbill.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.0) to cl id <05015-0@swan.cl.cam.ac.uk>; Mon, 4 May 1992 16:20:03 +0100 To: trdgav01@za.ac.uct.ucthpx (GL Tredoux) Cc: info-hol@edu.uidaho.cs.ted Subject: Re: HOL Bibliography Database In-Reply-To: Your message of Mon, 04 May 92 15:42:50 -0400. Date: Mon, 04 May 92 16:19:58 +0100 From: Jim Grundy Message-Id: <"swan.cl.ca.021:04.04.92.15.20.09"@cl.cam.ac.uk> > Does anyone out there keep a bibliography of HOL related > publications, eg papers, tech. reports, theses ? If not, > I will consider maintaining one myself, if people are > interested, in say BibTeX format. Should be easy enough > to knock one up if people post what references they have. > > Gavan Tredoux > Lab for Formal Aspects of CS > University of Cape Town Or even better an archive site where people could ftp papers in (La)TeX, dvi, ps... format from. That would be nifty. Jim