From 54be339e0fac44ee7af8ebba9dab10d778164ea3 Mon Sep 17 00:00:00 2001 From: John Wickerson Date: Thu, 17 Nov 2022 13:50:59 +0000 Subject: [PATCH] renumbering lectures --- lectures/{lecture3_dafny.pdf => lecture6_dafny.pdf} | Bin ...{lecture5_isabelle.pdf => lecture7_isabelle.pdf} | Bin ...ecture6_isabelle2.pdf => lecture8_isabelle2.pdf} | Bin 3 files changed, 0 insertions(+), 0 deletions(-) rename lectures/{lecture3_dafny.pdf => lecture6_dafny.pdf} (100%) rename lectures/{lecture5_isabelle.pdf => lecture7_isabelle.pdf} (100%) rename lectures/{lecture6_isabelle2.pdf => lecture8_isabelle2.pdf} (100%) diff --git a/lectures/lecture3_dafny.pdf b/lectures/lecture6_dafny.pdf similarity index 100% rename from lectures/lecture3_dafny.pdf rename to lectures/lecture6_dafny.pdf diff --git a/lectures/lecture5_isabelle.pdf b/lectures/lecture7_isabelle.pdf similarity index 100% rename from lectures/lecture5_isabelle.pdf rename to lectures/lecture7_isabelle.pdf diff --git a/lectures/lecture6_isabelle2.pdf b/lectures/lecture8_isabelle2.pdf similarity index 100% rename from lectures/lecture6_isabelle2.pdf rename to lectures/lecture8_isabelle2.pdf