Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <06176-0@swan.cl.cam.ac.uk>; Mon, 4 May 1992 17:43:53 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA24325; Mon, 4 May 92 09:32:24 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA24321; Mon, 4 May 92 09:32:19 -0700 Received: from localhost by panther.cs.uidaho.edu with SMTP id AA04034 (5.65c/IDA-1.4.4 for info-hol@ted); Mon, 4 May 1992 09:36:58 -0700 Message-Id: <199205041636.AA04034@panther.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: Re: HOL Bibliography Database In-Reply-To: Your message of Mon, 04 May 92 16:19:58 +0100. <"swan.cl.ca.021:04.04.92.15.20.09"@cl.cam.ac.uk> Date: Mon, 04 May 92 09:36:57 -0700 From: Phil Windley X-Mts: smtp On Mon, 04 May 92 16:19:58 BST, Jim.Grundy@cl.cam.ac.uk wrote: +------------ | > 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. | I'm happy to make any TR's that people want to send me available for anon FTP from cs.uidaho.edu. --phil--