diff -r ca2ea835c363 -r 0b9c893cfd1b Literature/logics/Hoare-Kozen.pdf
Binary file Literature/logics/Hoare-Kozen.pdf has changed