CTAN update: thmlist