Path: neptune!arp.anu.edu.au!reasoning-owner
Original-Resent-Date: Tue, 08 Jan 91 12:44:53 -0800
Original-Resent-From: reasoning-owner
Original-Resent-Message-ID: <9101082050.AA12877@arp.anu.edu.au>
Return-Path: <foss@oxalis.eecs.ucdavis.edu>
Posted-Date: Tue, 08 Jan 91 12:44:53 -0800
Message-ID: <9101082044.AA05137@oxalis.eecs.ucdavis.edu>
Original-To: Avra.Cohn@computer-lab.cambridge.ac.uk
Original-Cc: info-hol@clover.eecs.ucdavis.edu, foss@oxalis.eecs.ucdavis.edu
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: Tue, 08 Jan 91 12:44:53 -0800
From: foss@oxalis.eecs.ucdavis.edu
Original-Resent-To: reasoning-people
Original-Resent-Reply-To: foss@oxalis.eecs.ucdavis.edu
Newsgroups: anu.reasoning
Distribution: anu
Sender: postmaster@arp.anu.edu.au
Approved: anu.reasoning@arp.anu.edu.au

I vote for DAVIS 

NAME: Jim Alves-Foss

POSITION: Graduate Student (Doctoral Candidate)

INSTITUTION: UC Davis