PVS proofs

Encodings of PVS and manual translations of PVS prelude and others. Use with lambdapi.

Structure

• prelude contains parts of the PVS prelude
• adlib contains additional libraries not in the prelude
• sandbox contains miscellaneous experiments