User-agent: *
Disallow: /misc/
Disallow: /~thomas/
Disallow: /~mike/
Disallow: /~carl/