# /robots.txt for www.opentheory.org
User-agent: *
Disallow: /images/
