Binary file diagrams/definition/disjoint-blobs.pdf has changed

Binary file diagrams/definition/evaluation1.pdf has changed

Binary file diagrams/definition/evaluation2.pdf has changed

Binary file diagrams/definition/example-pasting-diagram.pdf has changed

Binary file diagrams/definition/k-blobs.pdf has changed

Binary file diagrams/definition/nested-blobs.pdf has changed

Binary file diagrams/definition/single-blob.pdf has changed

Binary file diagrams/smallblobs/tent.pdf has changed