User-agent: *
Disallow: /proofs/
Disallow: /htbin/
Disallow: /reorders/
Disallow: /pda/
Disallow: /pdabin/
Disallow: /isis/