#kr011112
User-agent: *
Disallow: /lisp/cltl2
Disallow: /lisp/clhs