Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-14 18:03:56 -0700 (Mon, 14 Apr 2003)
Revision: 4430
Log message:

      Changed all occurrences of extensional set equality to use "ext_equal"
      instead of "esquash".
      

Changes	Path
+25 -12	metaprl/theories/itt/itt_group.ml
+9848 -8755	metaprl/theories/itt/itt_group.prla