Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2001-09-14 00:05:10 -0700 (Fri, 14 Sep 2001)
Revision: 3380
Log message:

      Definitions for set difference & Boolean set
      

Changes	Path
+4 -1	metaprl/theories/czf/Makefile
Added	metaprl/theories/czf/czf_itt_bool.ml
Properties	metaprl/theories/czf/czf_itt_bool.ml
Added	metaprl/theories/czf/czf_itt_bool.mli
Properties	metaprl/theories/czf/czf_itt_bool.mli
Added	metaprl/theories/czf/czf_itt_bool.prla
Properties	metaprl/theories/czf/czf_itt_bool.prla
Added	metaprl/theories/czf/czf_itt_setdiff.ml
Properties	metaprl/theories/czf/czf_itt_setdiff.ml
Added	metaprl/theories/czf/czf_itt_setdiff.mli
Properties	metaprl/theories/czf/czf_itt_setdiff.mli
Added	metaprl/theories/czf/czf_itt_setdiff.prla
Properties	metaprl/theories/czf/czf_itt_setdiff.prla