Development of a library manager for PVS