New on CTAN: reptheorem