User-agent: htdig
Disallow:

User-agent: tinet-crawler 
Disallow:

User-agent: *
Disallow: /