% SZS status Theorem for INCREASI
% SZS output start Proof for INCREASI
  file('i/f/measure/INCREASING',aHLu_TRUTH)).
  file('i/f/measure/INCREASING',ch4s_measures_INCREASING)).
  file('i/f/measure/INCREASING',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/measure/INCREASING',ah4s_measures_increasingu_u_def)).
% SZS output end Proof for INCREASI
