Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 18 Oct 1993 16:40:46 +0100
Received: by leopard.cs.byu.edu (1.37.109.4/16.2) id AA18693;
          Mon, 18 Oct 93 09:24:38 -0600
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.4/16.2) id AA18680; Mon, 18 Oct 93 09:24:27 -0600
Received: from infix.cs.ruu.nl by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA23435; Mon, 18 Oct 93 08:24:04 -0700
Received: by infix.cs.ruu.nl id AA24160 (5.65c/IDA-1.4.4 
          for info-hol@ted.cs.uidaho.edu); Mon, 18 Oct 1993 16:21:38 +0100
From: Wishnu Prasetya <wishnu@cs.ruu.nl>
Message-Id: <199310181521.AA24160@infix.cs.ruu.nl>
Subject: how to get FAUST?
To: info-hol@cs.uidaho.edu (hol mailing list)
Date: Mon, 18 Oct 1993 16:21:38 +0100 (MET)
X-Mailer: ELM [version 2.4 PL23]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 167

Hi there!

(1) Can anyone tell me how to get a copy of FAUST?

(2) How fast FAUST can prove the following:

      "(?!x. x=f(g x)) = (?!y. y=g(f y))"

thanks.

Wishnu