Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-26 19:47:00 -0700 (Sun, 26 May 2002)
Revision: 3695
Log message:

      Removed all occurences of "rwh unfold_group_bvd ..." in the proof.
      

Changes	Path
+9048 -9475	metaprl/theories/czf/czf_itt_ker.prla