Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-07 16:43:08 -0700 (Tue, 07 May 2002)
Revision: 3607
Log message:
Removed the tactic equalSubsetT, since it is the same as setExtT defined
in Czf_itt_member. Reproved related theorems.
Also removed some comments.