diff --git a/teaching/2024/cs422/CS422-Fall-2024-01.pdf b/teaching/2024/cs422/CS422-Fall-2024-01.pdf
new file mode 100644
index 0000000..9b4cd69
Binary files /dev/null and b/teaching/2024/cs422/CS422-Fall-2024-01.pdf differ
diff --git a/teaching/2024/cs422/CS422-Fall-2024-02-Conventional-Executable-Semantics (1).pdf b/teaching/2024/cs422/CS422-Fall-2024-02-Conventional-Executable-Semantics (1).pdf
new file mode 100644
index 0000000..3fca127
Binary files /dev/null and b/teaching/2024/cs422/CS422-Fall-2024-02-Conventional-Executable-Semantics (1).pdf differ
diff --git a/teaching/2024/cs422/CS422-Fall-2024-02a-IMP-BigStep-SmallStep.pdf b/teaching/2024/cs422/CS422-Fall-2024-02a-IMP-BigStep-SmallStep.pdf
new file mode 100644
index 0000000..4198c42
Binary files /dev/null and b/teaching/2024/cs422/CS422-Fall-2024-02a-IMP-BigStep-SmallStep.pdf differ