Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-23 22:55:56 -0800 (Tue, 23 Dec 2003)
Revision: 5213
Log message:

      added:
       * "tac tatca" is a short for "tac thenAT tryT (completeT autoT)"
       * "tac twtca" is a short for "tac thenWT tryT (completeT autoT)"
       * "tac taa" is a short for "tac thenAT autoT"
       * "tac twa" is a short for "tac thenWT autoT"
      

Changes	Path
+14 -0	metaprl/support/tactics/auto_tactic.ml
+20 -0	metaprl/support/tactics/auto_tactic.mli