User-agent: DISCo Pump, Wget, WebZIP, Teleport Pro, WebSnake, Offline Explorer, Web-By-Mail
Disallow: / 

User-agent: Googlebot
Disallow: /library
Disallow: /javadoc 
Disallow: /science_materials 
Disallow: /edu_materials 

User-agent: *
Disallow: /library
Disallow: /javadoc 
Disallow: /science_materials 
Disallow: /edu_materials