diff --git a/teaching/2024/cs522/CS522-Spring-2024-Maude-HW3.zip b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW3.zip new file mode 100644 index 0000000..01f4e8f Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW3.zip differ diff --git a/teaching/2024/cs522/CS522-Spring-2024-Maude-HW4.zip b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW4.zip new file mode 100644 index 0000000..c1520a1 Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-Maude-HW4.zip differ