Documentation for tex-thmtools.