Path: neptune!arp.anu.edu.au!reasoning-owner
Original-Resent-Date: Wed, 09 Jan 91 09:22:40 +0000
Original-Resent-From: reasoning-owner
Original-Resent-Message-ID: <9101090934.AA17660@arp.anu.edu.au>
Return-Path: <isd@computer-lab.cambridge.ac.uk>
Posted-Date: Wed, 09 Jan 91 09:22:40 +0000
Original-To: Avra.Cohn@computer-lab.cambridge.ac.uk
Original-Cc: info-hol@clover.ucdavis.edu, isd@computer-lab.cambridge.ac.uk
Subject: Re: HOL Users Group Mtg 1991
References: Your message of Tue, 08 Jan 91 11:39:34 +0000. <9101081139.AA02283@uk.ac.cam.cl.dipper>
Date: Wed, 09 Jan 91 09:22:40 +0000
From: isd@computer-lab.cambridge.ac.uk
Message-ID: <"swan.cl.ca.676:09.00.91.09.22.41"@cl.cam.ac.uk>
Original-Resent-To: reasoning-people
Original-Resent-Reply-To: isd@computer-lab.cambridge.ac.uk
Newsgroups: anu.reasoning
Distribution: anu
Sender: postmaster@arp.anu.edu.au
Approved: anu.reasoning@arp.anu.edu.au

I vote for DAVIS


Inder.