Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-03 16:47:41 -0800 (Thu, 03 Nov 2005)
Revision: 8085
Log message:

      Updated with Itt_dfun axioms instead of the Itt_rfun ones and Itt_pairwise
      axioms instead of Itt_pointwise ones.