Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-04 22:17:52 -0700 (Sat, 04 May 2002)
Revision: 3596
Log message:

      Removed "setbvd_prop" which can be implemented with "sep".
      

Changes	Path
+0 -25	metaprl/theories/czf/czf_itt_set_bvd.ml
+0 -3	metaprl/theories/czf/czf_itt_set_bvd.mli
+205 -451	metaprl/theories/czf/czf_itt_set_bvd.prla