diff -r a9b8344f5196 -r 7eee8b2d2099 doc-src/ProgProve/bang.pdf
Binary file doc-src/ProgProve/bang.pdf has changed