Documentation for tex-ntheorem
