PVS introduction course

Here you can find a few PVS files that can help you to learn working with PVS. When I have more time I'll put up a good description here. For now, you'll simply have to do with the files.