Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-28 23:03:39 -0700 (Mon, 28 Apr 2003)
Revision: 4511
Log message:
Made the tactic type completely abstract. From now on, use funT (and argfunT)
for writing tactics that need to look up information from tactic_arg.