diff -r b66578c08490 -r 8f89170bb076 Literature/logics/asl-short.pdf
Binary file Literature/logics/asl-short.pdf has changed