New on CTAN: thmlist