% 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_c0',ch4s_semiu_u_rings_semiu_u_ringu_u_fnu_u_updatesu_c0)).
  file('i/f/semi_ring/semi__ring__fn__updates_c0',ah4s_semiu_u_rings_semiu_u_ringu_u_SR0u_u_fupd0)).
% SZS output end Proof for semi__ring__fn__updates_
