Documentation for tex-thmtools
