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, 6 Jan 1995 14:13:35 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA00328; Fri, 6 Jan 1995 07:08:39 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from crl.dec.com by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA00323; Fri, 6 Jan 1995 07:08:38 -0700 Received: by crl.dec.com; id AA14176; Fri, 6 Jan 95 09:00:26 -0500 Received: by easynet.crl.dec.com; id AA24426; Fri, 6 Jan 95 08:59:31 -0500 Message-Id: <9501061359.AA24426@easynet.crl.dec.com> Received: from ricks.enet; by crl.enet; Fri, 6 Jan 95 09:00:25 EST Date: Fri, 6 Jan 95 09:00:25 EST From: "Tim Leonard, DTN 225-5809, HLO2-3/C11" To: info-hol@leopard.cs.byu.edu Apparently-To: info-hol@leopard.cs.byu.edu Subject: re: Difficulties with large terms Why not simply change aconv to do the equality test first? Tim