Return-Path: Delivery-Date: Received: from crl.dec.com by swan.cl.cam.ac.uk with SMTP (PP-6.2); Fri, 30 Oct 1992 14:32:09 +0000 Received: by crl.dec.com; id AA26447; Fri, 30 Oct 92 09:31:58 -0500 Received: by easynet.crl.dec.com; id AA20443; Fri, 30 Oct 92 09:28:41 -0500 Message-Id: <9210301428.AA20443@easynet.crl.dec.com> Received: from ricks.enet; by crl.enet; Fri, 30 Oct 92 09:31:57 EST Date: Fri, 30 Oct 92 09:31:57 EST From: "Tim Leonard, DTN 225-5809, HLO2-3/C11" To: John.Harrison@uk.ac.cam.cl Cc: leonard@com.dec.enet.ricks Apparently-To: jrh@cl.cam.ac.uk Subject: HOL users survey Hi, John. I'm starting to update Sara's list of HOL users worldwide. I'll be sending a note out on info-hol, soliciting information, but I'd like to follow up with people who don't respond, and with people who have copies of HOL but who aren't following info-hol. To do that, I'll need a copy of the list of people who've received copies. JVT tells me that you're the current distribution guru, and that you may well have such a list. Could you send me a copy? If you know who the people are (beyond just their email addresses) and they're not among the usual crowd that shows up at HOL meetings, could you tell me about them, too? Thanks, Tim