Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-17 08:52:35 -0800 (Tue, 17 Jan 2006)
Revision: 8491
Log message:

      For reduce, the ~select argument should be a string list.
      
      Internally, these lists are converted to SymbolSet.t.
      
      We should probably consider representing the options in the tactic_arg
      as a SymbolSet.t.  Or perhaps as an OpnameSet.t.