diff --git a/lectures/lecture4_isabelle.pdf b/lectures/lecture5_isabelle.pdf
similarity index 67%
rename from lectures/lecture4_isabelle.pdf
rename to lectures/lecture5_isabelle.pdf
index 28995c0..d0908ce 100644
Binary files a/lectures/lecture4_isabelle.pdf and b/lectures/lecture5_isabelle.pdf differ
diff --git a/lectures/lecture5_isabelle2.pdf b/lectures/lecture7_isabelle2.pdf
similarity index 100%
rename from lectures/lecture5_isabelle2.pdf
rename to lectures/lecture7_isabelle2.pdf