lecture 11

2023-11-23 15:38:40 +01:00 · 2023-11-23 15:38:40 +01:00 · a8c758c5f0
commit a8c758c5f0
parent 4fc85f8473
2 changed files with 3 additions and 0 deletions
--- a/logic.sty
+++ b/logic.sty
@ -129,6 +129,7 @@
 \DeclareSimpleMathOperator{CH}
 \DeclareSimpleMathOperator{DC}
 \DeclareSimpleMathOperator{Ord}
+\DeclareSimpleMathOperator{OR} % Ordinals
 \DeclareSimpleMathOperator{trcl}
 \DeclareSimpleMathOperator{tcl}
 \newcommand{\concat}{{}^\frown}
--- a/logic2.tex
+++ b/logic2.tex
@ -33,6 +33,8 @@
 \input{inputs/lecture_07}
 \input{inputs/lecture_08}
 \input{inputs/lecture_09}
+% TODO \input{inputs/lecture_10}
+\input{inputs/lecture_11}


 \cleardoublepage