Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-02-21 14:22:44 -0800 (Tue, 21 Feb 2006)
Revision: 8767
Log message:

      For reflect_ theories, allow dependencies for reflect_theory.suffix
      to be computed based on the presence of file theory.suffix.
      
      A comment:
       * XXX: JYH: this is bogus, because the reflect_* theories do not
       * need to be placed in the same directory as the original files.
       * However, it is difficult to decide what to do otherwise, and
       * this will work in all the cases we are currently considering.