Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 28 Jan 1994 16:41:06 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA27643; Fri, 28 Jan 1994 09:21:54 -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 AA27639; Fri, 28 Jan 1994 09:21:43 -0700 Received: from infix.cs.ruu.nl by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA11876; Fri, 28 Jan 1994 08:18:27 -0800 Received: by relay.cs.ruu.nl id AA21878 (5.67a/IDA-1.5 for info-hol@ted.cs.uidaho.edu); Fri, 28 Jan 1994 17:18:23 +0100 From: Wishnu Prasetya Message-Id: <199401281618.AA21878@relay.cs.ruu.nl> Subject: Please ignore the tailer of my last post To: info-hol@cs.uidaho.edu (hol mailing list) Date: Fri, 28 Jan 1994 17:18:23 +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: 193 Uh, I'm very sory to include some garbage information in my previous post about decidability of my formula. Please IGNORE everything after the first 5 definitions I gave. Sorry. :-( Wishnu.