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; Sun, 25 Apr 1993 15:58:05 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02899;
          Sun, 25 Apr 93 07:49:19 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA02894;
          Sun, 25 Apr 93 07:49:13 -0700
Received: from guillemot.cl.cam.ac.uk (user tfm (rfc931)) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) to cl; Sun, 25 Apr 1993 15:48:39 +0100
To: toal@cs.ucla.edu (Ray J. Toal)
Cc: markaa@ee.cornell.edu, info-hol@ted.cs.uidaho.edu
Subject: Re: smarttacs
In-Reply-To: Your message of Sat, 24 Apr 93 11:12:31 -0700. <9304241812.AA29531@makaha.cs.ucla.edu>
Date: Sun, 25 Apr 93 15:48:33 +0100
From: Tom Melham <Tom.Melham@cl.cam.ac.uk>
Message-Id: <"swan.cl.cam.:028330:930425144842"@cl.cam.ac.uk>


>                 ...  A good alternative to this tactic is
> the conversion REDUCE in the ind_defs library.


See also the unwind library.

Tom