Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-20 18:42:24 -0700 (Thu, 20 Oct 2005)
Revision: 7950
Log message:

      For some reason, itt_list2 was using itt_pairwise, which is bad. I removed the
      "extends Itt_pairwise" for now, but now a few proofs will need fixing.