A library of set relations in PVS
---------------------------------
Contact: Cesar Munoz (munoz@nianet.org)

To run all the proofs (assuming the package ProofLite is installed) type:

$<PVS_DIR>/proveit -a top

