Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <03774-0@swan.cl.cam.ac.uk>; Mon, 4 May 1992 14:58:53 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA23411;
          Mon, 4 May 92 06:46:37 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from Ucthpx.UCT.AC.ZA by ted.cs.uidaho.edu (16.6/1.34) id AA23407;
          Mon, 4 May 92 06:46:27 -0700
Received: by ucthpx.uct.ac.za (/\==/\ Smail3.1.24.1 #24.2) id m0li3Jb-000O2NC;
          Mon, 4 May 92 15:42 SAST
Message-Id: <m0li3Jb-000O2NC@ucthpx.uct.ac.za>
From: trdgav01@za.ac.uct.ucthpx (GL Tredoux)
Subject: HOL Bibliography Database
To: info-hol@edu.uidaho.cs.ted
Date: Mon, 4 May 92 15:42:50 SAST
X-Mailer: ELM [version 2.3 PL11]

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