diff --git a/isabelle/2021/isabelle_exercises_2021.pdf b/isabelle/2021/isabelle_exercises_2021.pdf
index 0d66045..658a190 100644
Binary files a/isabelle/2021/isabelle_exercises_2021.pdf and b/isabelle/2021/isabelle_exercises_2021.pdf differ