Title: PVS Prover Strategy Package for Common Manipulations