PVS Collections

Slides on PVS Collections (Sets, Bags, Sequences)

Sets in Prelude