Corrections to Basic Properties and Robustness sections
Add *.thm to list of ignored files