...
Binary file diagrams/pdf/definition/disjoint-blobs.pdf has changed
Binary file diagrams/pdf/definition/evaluation1.pdf has changed
Binary file diagrams/pdf/definition/evaluation2.pdf has changed
Binary file diagrams/pdf/definition/example-pasting-diagram.pdf has changed
Binary file diagrams/pdf/definition/nested-blobs.pdf has changed
Binary file diagrams/pdf/definition/single-blob.pdf has changed