====== PVS Collections ======

  * {{:pvs:libraries:pvs_collection_types.pdf |Slides on PVS Collections}} (Sets, Bags, Sequences)
  * [[:pvs:libraries:collections:sets:|Sets in Prelude]]