% SZS status Theorem for PR
% SZS output start Proof for PR
  file('i/f/probability/PROB',ch4s_probabilitys_PROB)).
  file('i/f/probability/PROB',ah4s_probabilitys_probu_u_def)).
  file('i/f/probability/PROB',ah4s_measures_measureu_u_def)).
% SZS output end Proof for PR
