# robots.txt for http://theseus.mathematik.uni-ulm.de/ (private installation)

User-Agent: *
Disallow: /