Path: neptune!arp.anu.edu.au!reasoning-owner@arp.anu.edu.au
Posted-Date: Tue, 15 Jan 91 20:38:46 -0800
Message-ID: <9101160438.AA07620@oxalis.eecs.ucdavis.edu>
Original-To: Sara.Kalvala@computer-lab.cambridge.ac.uk
Original-Cc: info-hol@iris.eecs.ucdavis.edu, foss@oxalis.eecs.ucdavis.edu
Subject: Re: projects using HOL 
References: Your message of Tue, 15 Jan 91 18:06:23 +0000.
             <"swan.cl.ca.355: 15.00.91.18.06.37"@cl.cam.ac.uk> 
Date: Tue, 15 Jan 91 20:38:46 -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

Please send me a copy.
-Jim AF