Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 27 May 1993 18:26:24 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA01417;
          Thu, 27 May 93 10:12:36 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from leopard.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) 
          id AA01410; Thu, 27 May 93 10:12:26 -0700
Received: from SGI.COM by leopard.cs.uidaho.edu (16.7/1.34) id AA20654;
          Wed, 26 May 93 11:42:34 -0700
Received: from relay.sgi.com by sgi.sgi.com via SMTP (920330.SGI/910110.SGI) 
          for info-hol@ted.cs.uidaho.edu id AA27118;
          Wed, 26 May 93 11:40:05 -0700
Received: from giraffe.asd.sgi.com by relay.sgi.com 
          via SMTP (920330.SGI/920502.SGI) 
          for @sgi.sgi.com:info-hol@ted.cs.uidaho.edu id AA02220;
          Wed, 26 May 93 11:40:03 -0700
Received: from viking.asd.sgi.com by giraffe.asd.sgi.com 
          via SMTP (920330.SGI/920502.SGI) 
          for @relay.sgi.com:info-hol@ted.cs.uidaho.edu id AA11053;
          Wed, 26 May 93 11:40:01 -0700
Received: by viking.asd.sgi.com (921113.SGI/911001.SGI) 
          for @giraffe.asd.sgi.com:info-hol@ted.cs.uidaho.edu id AA23185;
          Wed, 26 May 93 11:39:59 -0700
Date: Wed, 26 May 93 11:39:59 -0700
From: asgeir@viking.asd.sgi.com (Asgeir Eiriksson)
Message-Id: <9305261839.AA23185@viking.asd.sgi.com>
To: info-hol@ted.cs.uidaho.edu
Cc: asgeir@viking.asd.sgi.com
Subject: MEPHISTO and FAUST


The paper

"Structuring and Automating Hardware Proofs in a Higher-Order
 Theorem-Proving Environment", by R. Kumar, K. Schneider, und
 T. Kropf, in Formal Methods in System Design, Vol. 2, No. 2,
 April 1993.

refers to a public domain version of FAUST at i80s12.ira.uka.de

I could not find FAUST on that machine (preferably an HOL90 version);
also the doc directory under /pub is not readable by the ftp account
(I was hoping it would contain some of the references cited in the 
paper).

Can anyone tell me where I can find FAUST and (maybe) also MEPHISTO?

Thanks

'Asgeir Th. Eiriksson                          Silicon Graphics 
 Tel (415)-390-1947                            2011 N. Shoreline Blvd., Stop 7U-550
		                               Mountain View, CA 94039-7311