diff -r 489dfa0d7ec9 -r 6adda4a667b1 Literature/ktl16regexp-agda.pdf
Binary file Literature/ktl16regexp-agda.pdf has changed