Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Tue, 3 Nov 1992 21:58:41 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02394; Tue, 3 Nov 92 12:14:09 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from crl.dec.com by ted.cs.uidaho.edu (16.6/1.34) id AA02389; Tue, 3 Nov 92 12:14:04 -0800 Received: by crl.dec.com; id AA28511; Tue, 3 Nov 92 15:13:20 -0500 Received: by easynet.crl.dec.com; id AA20464; Tue, 3 Nov 92 15:12:42 -0500 Message-Id: <9211032012.AA20464@easynet.crl.dec.com> Received: from ricks.enet; by crl.enet; Tue, 3 Nov 92 15:13:17 EST Date: Tue, 3 Nov 92 15:13:17 EST From: "Tim Leonard, DTN 225-5809, HLO2-3/C11" To: info-hol@edu.uidaho.cs.ted Apparently-To: info-hol@ted.cs.uidaho.edu Subject: 1992 survey of HOL users If you've ever used HOL, or if you're planning to use HOL, could you please send me the answers to the following three questions? I'm collecting the information for this year's survey of HOL users. Thanks much, in advance --- there's no way I can do this without your help. Tim ------------------------------------------------------------------------------- 1.) What's your name, and how can other people contact you? (What company or university are you at, what are your postal and email addresses, and what's your phone number?) 2.) What is (or was, or will be) the purpose and results of your project using HOL? (If you've had several projects, it would be great to have a paragraph for each.) 3.) What have you published describing HOL-related work?