Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-05-09 16:05:59 -0700 (Fri, 09 May 2003)
Revision: 4578
Log message:

      Aleksey and Xin:
      - Print more detailed debugging info for debug_auto
      

Changes  Path
+6 -4 metaprl/support/tactics/auto_tactic.ml