Merge pull request #398 from huxuan/master

Add *.thm for LaTeX; generated by ntheorem/amsthm packages