Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-11 00:41:03 -0800 (Tue, 11 Mar 2003)
Revision: 4162
Log message:
Aleksey & Xin:
- Added "AutoMustComplete" to a couple of things
- Added fnExtensionalT and fnExtenT tactics.