diff -r b66578c08490 -r 8f89170bb076 Literature/logics/1_sepAlgTactics.pdf
Binary file Literature/logics/1_sepAlgTactics.pdf has changed