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, 31 Jan 1994 10:26:46 +0000
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA29003;
          Mon, 31 Jan 1994 03:00:34 -0700
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.8/16.2) id AA28999;
          Mon, 31 Jan 1994 03:00:00 -0700
Received: from infix.cs.ruu.nl by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA22323;
          Mon, 31 Jan 1994 01:57:26 -0800
Received: by relay.cs.ruu.nl id AA25946 (5.67a/IDA-1.5 
          for info-hol@ted.cs.uidaho.edu); Mon, 31 Jan 1994 10:56:56 +0100
From: Wishnu Prasetya <wishnu@cs.ruu.nl>
Message-Id: <199401310956.AA25946@relay.cs.ruu.nl>
Subject: Re: is this formula perhaps decidable?
To: simon@ahl.co.uk (Simon Finn)
Date: Mon, 31 Jan 1994 10:56:55 +0100 (MET)
Cc: info-hol@cs.uidaho.edu (hol mailing list)
In-Reply-To: <372.9401281653@alpha.ahl.co.uk> from "Simon Finn" at Jan 28, 94 04:53:52 pm
X-Mailer: ELM [version 2.4 PL23]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 69

Simon, Thank you kindly for the counter example. 

Regards,

Wishnu.