products/sources/formale sprachen/PVS/measure_integration/measure_completion_aux.pvs