% SZS status Theorem for FORALL__SI
% SZS output start Proof for FORALL__SI
  file('i/f/bool/FORALL__SIMP',ch4s_bools_FORALLu_u_SIMP)).
% SZS output end Proof for FORALL__SI
