diff -r e59e549e6ab6 -r 4a943f0fe1b0 Literature/mechanizing_sa.pdf
Binary file Literature/mechanizing_sa.pdf has changed