Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-12-03 19:40:48 -0800 (Mon, 03 Dec 2001)
Revision: 3460
Log message:

      I've proved ssociativity for dependent intersection.
      

Changes	Path
+9 -1	metaprl/theories/itt/itt_disect.ml
+1698 -1368	metaprl/theories/itt/itt_disect.prla