Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Wed, 3 May 1995 19:17:53 +0100
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) 
          id MAA24467 for qed-out; Wed, 3 May 1995 12:53:45 -0500
Received: from altair (altair.mcs.anl.gov [140.221.2.7]) 
          by antares.mcs.anl.gov (8.6.10/8.6.10) with ESMTP id MAA24462 
          for <qed@mcs.anl.gov>; Wed, 3 May 1995 12:53:37 -0500
From: Larry Wos <wos@mcs.anl.gov>
Date: Wed, 3 May 1995 12:53:36 -0500
Message-Id: <199505031753.MAA10998@altair>
To: qed@mcs.anl.gov
Subject: contact req.
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

 
Can somebody tell me wo to cntact by email and by phone on the
interest to use a theorem prover for the hardware verification,
secifically, the recent e-mal on BBD's?  Thaks.  LW