Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-07 19:25:53 -0800 (Tue, 07 Feb 2006)
Revision: 8642
Log message:

      Alexei & Aleksey:
      
      - Reformulated the dintersectionSubtype rule (it used to be incorrectly too
        strong) and derived it (it used to be a primitive axiom).
      
      - A little more progress reverifying ITT rules under pairwise functionality.