Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-24 11:54:33 -0800 (Tue, 24 Jan 2006)
Revision: 8592
Log message:

      Added with withOptionC and withoutOptionC conversions.
      
      Switched Itt_hoas_{vector,debruijn} to use an option
      Itt_hoas_vector!denormalize, which is normally off,
      but enabled locally in the two theories.
      
      The reduceBTermC is changed to use the option instead
      of hard-coding the conversion list.