This is the documentation for tex-ntheorem.