Robot txt files

I’m using the Twenty Thirteen theme.

Not every site has a robots.txt file, so you probably have to create one yourself.

Do you happen to have the WordPress SEO plugin installed?

WordPress makes a default robot.txt which is virtual (just like your posts). You can make it manually or use a plugin.