Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-02 20:39:16 -0800 (Fri, 02 Dec 2005)
Revision: 8256
Log message:

      Sorry about moving all files in theories/itt/extensions to
      theories/itt/extensions/base, but I would really like to use pairwise
      functionality in extensions/vector.  This required that a dependency
      be established.
      
      Let me know if I am being too aggressive with pairwise, but it is
      really nice:)