% SZS status Theorem for semi__ring__fn__updates_
% SZS output start Proof for semi__ring__fn__updates_
  file('i/f/semi_ring/semi__ring__fn__updates_c2',ch4s_semiu_u_rings_semiu_u_ringu_u_fnu_u_updatesu_c2)).
  file('i/f/semi_ring/semi__ring__fn__updates_c2',ah4s_semiu_u_rings_semiu_u_ringu_u_SRPu_u_fupd0)).
% SZS output end Proof for semi__ring__fn__updates_
