Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Wed, 10 Mar 1993 10:33:23 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05031; Wed, 10 Mar 93 02:14:39 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA05026; Wed, 10 Mar 93 02:13:37 -0800 Received: from teal.cl.cam.ac.uk (user rjb (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.4) to cl; Wed, 10 Mar 1993 10:12:39 +0000 To: Phil Windley Cc: info-hol@edu.uidaho.cs.ted Subject: Re: Constructive logic, Nuprl and Hardware Verification In-Reply-To: Your message of Tue, 09 Mar 93 08:09:32 -0800. <199303091609.AA04493@panther.cs.uidaho.edu> Date: Wed, 10 Mar 93 10:12:32 +0000 From: Richard Boulton Message-Id: <"swan.cl.ca.879:10.03.93.10.12.43"@cl.cam.ac.uk> > I remember a very nice talk by Keith Hanna at the second HOL workshop on > VERITAS and how he formulated n-bit words. Does anyone have a copy of his > slides by any chance? I don't have copies of the slides, but abstracts for the workshop can be found in the Info-hol archive: 0077 16 Feb 90 Phil Windley 1989 User's Group Meeting Abstracts (1 of 2) 0078 16 Feb 90 Phil Windley 1989 User's Group Meeting Abstracts (2 of 2) Richard.