diff --git a/logic2.tex b/logic2.tex index 1a01e4e..e7a1b7e 100644 --- a/logic2.tex +++ b/logic2.tex @@ -33,7 +33,7 @@ \input{inputs/lecture_07} \input{inputs/lecture_08} \input{inputs/lecture_09} -% TODO \input{inputs/lecture_10} +\input{inputs/lecture_10} \input{inputs/lecture_11}