User-agent: *
Allow: /
Disallow: /_include
Disallow: /aah
Disallow: /axelrod
Disallow: /christopher
Disallow: /downloads
Disallow: /hello_hawk
Disallow: /holscher
Disallow: /images
Disallow: /javascripts
Disallow: /mint
Disallow: /misc
Disallow: /ofc
Disallow: /safe-choice
Disallow: /stylesheets
Disallow: /tipp-c