Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <04017-0@swan.cl.cam.ac.uk>; Thu, 9 Jan 1992 22:41:23 +0000 Received: by ted.cs.uidaho.edu.cs.uidaho.edu (16.6/1.34) id AA15940; Thu, 9 Jan 92 14:25:12 -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 AA15936; Thu, 9 Jan 92 14:25:02 -0800 Received: by enet-gw.pa.dec.com; id AA17902; Thu, 9 Jan 92 14:27:06 -0800 Message-Id: <9201092227.AA17902@enet-gw.pa.dec.com> Received: from hpsrad.enet; by decwrl.enet; Thu, 9 Jan 92 14:27:07 PST Date: Thu, 9 Jan 92 14:27:07 PST From: "Hemendra Talesara, DEC Marlborough, (508) 467-5541" To: info-hol@edu.uidaho.cs.ted Cc: talesara@com.dec.enet.hpsrad Apparently-To: info-hol@ted.cs.uidaho.edu Subject: Is there any HOL Users University/Researchers compiled list that is available ?