% SZS status Theorem for EVENTUAL__SIGN
% SZS output start Proof for EVENTUAL__SIGN
  file('i/f/Temporal_Logic/EVENTUAL__SIGNAL',ch4s_Temporalu_u_Logics_EVENTUALu_u_SIGNAL)).
  file('i/f/Temporal_Logic/EVENTUAL__SIGNAL',ah4s_Temporalu_u_Logics_EVENTUAL0)).
% SZS output end Proof for EVENTUAL__SIGN
