diff --git a/doc/isomorphism-impl.pdf b/doc/isomorphism-impl.pdf
index 9d1c3851..c182ec51 100644
Binary files a/doc/isomorphism-impl.pdf and b/doc/isomorphism-impl.pdf differ