Title: Batch Proving and Proof Scripting in PVS