Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2006-06-22 13:05:44 -0700 (Thu, 22 Jun 2006)
Revision: 9368
Log message:

      Added ifthenelseT tactic to interface

Changes  Path
+2 -0 metaprl/support/tactics/auto_tactic.mli