diff -r a6f3e1b08494 -r b6873d123f9b Literature/cheney05icfp.pdf
Binary file Literature/cheney05icfp.pdf has changed