Recent changes in theory category

- Socialtext v3.1.0.0