diff -r fd85f4921654 -r e8b9c0ebf5dd Literature/cheney05icfp.pdf
Binary file Literature/cheney05icfp.pdf has changed