[PRL] some papers on my desk

[Kenichi Asai]

Hi,

I am now cleaning up my desk, and there are a lot of papers I am going
to throw away.  If you happen to want some of them, please feel free
to take them.  All the papers are available online, so you don't need
most of them, but here are two things you might want (because they
are long):

- Computation and Deduction, Frank Pfenning, Course note
  (recommended by Dale)

- (some parts of) Isabelle manual

I will throw away all the things on Monday.

# How do you usually throw papers away?  Is it OK just throw them into
# the recycle box on the second floor?

Sincerely,

-- 
Kenichi Asai