Documentation for tex-thmtools.
