diff -r 78d828f43cdf -r 4b4742aa43f2 Literature/cheney05icfp.pdf
Binary file Literature/cheney05icfp.pdf has changed