User-agent: *
Disallow: /db_intra/
Disallow: /images/
Disallow: /images_intra/
Disallow: /inc/
Disallow: /Library/
Disallow: /mailinglists/
Disallow: /members/
Disallow: /parallel/
Disallow: /proofs/
Disallow: /resources/
Disallow: /search/
Disallow: /specials/specialised/