Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-23 14:33:11 -0800 (Mon, 23 Jan 2006)
Revision: 8576
Log message:

      Reverted the change that moved itt/reflection out of the itt/
      VirtualTheory (meaning, reflection is now a subtheory of itt again).