# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1359894268 0
# Node ID 480aae81b489325578f08bd911a307fb7779e416
# Parent  4635641e77cbdd522de1741be89cf31206ca8ece
completed undecidability proof

diff -r 4635641e77cb -r 480aae81b489 paper.pdf
Binary file paper.pdf has changed