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; Mon, 21 Jun 1993 11:26:48 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02319;
          Mon, 21 Jun 93 03:13:33 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA02314;
          Mon, 21 Jun 93 03:13:29 -0700
Received: from LocalHost.cs.ucla.edu 
          by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA25129;
          Mon, 21 Jun 93 03:13:51 -0700
Message-Id: <9306211013.AA25129@maui.cs.ucla.edu>
To: info-hol@ted.cs.uidaho.edu
Subject: smarttacs
Date: Mon, 21 Jun 93 03:13:50 PDT
From: chou@cs.ucla.edu

If you haven't checked out Donald Syme's contrib/smarttacs, do so now!
They are fantastic!  Especially SMART_ELIMINATE_TAC, I now just can't
do without it.

- Ching Tsun