diff --git a/lectures/lecture6_isabelle2.pdf b/lectures/lecture6_isabelle2.pdf
new file mode 100644
index 0000000..2b1b19a
Binary files /dev/null and b/lectures/lecture6_isabelle2.pdf differ
diff --git a/lectures/lecture7_isabelle2.pdf b/lectures/lecture7_isabelle2.pdf
deleted file mode 100644
index 5f3211f..0000000
Binary files a/lectures/lecture7_isabelle2.pdf and /dev/null differ