Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <24829-0@swan.cl.cam.ac.uk>; Sun, 12 Jan 1992 16:06:44 +0000 Received: by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34) id AA20405; Sun, 12 Jan 92 07:56:47 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from enet-gw.pa.dec.com by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34) id AA20401; Sun, 12 Jan 92 07:56:42 -0800 Received: by enet-gw.pa.dec.com; id AA24869; Sun, 12 Jan 92 07:58:53 -0800 Message-Id: <9201121558.AA24869@enet-gw.pa.dec.com> Received: from hpsrad.enet; by decwrl.enet; Sun, 12 Jan 92 07:58:54 PST Date: Sun, 12 Jan 92 07:58:54 PST From: "Hemendra Talesara, DEC, (508) 467-5541" To: info-hol@edu.uidaho.cs.ted Apparently-To: info-hol@ted.cs.uidaho.edu Subject: RE: Is there any HOL Users University/Researchers compiled list ------------------Reply to mail dated 11-JAN-1992 15:21:13.65------------------ Thanks, Sara Kalvala has provided me with the list./HT