Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-27 22:19:15 -0700 (Mon, 27 May 2002)
Revision: 3697
Log message:

      Changed the occurences of set_bvd to sep, since set_bvd is defined by collection.
      

Changes	Path
+1 -2	metaprl/theories/czf/czf_itt_hom.ml
+1644 -1631	metaprl/theories/czf/czf_itt_hom.prla