3 changed files with 7 additions and 7 deletions
--- a/notes/woche4.pdf
+++ b/notes/woche4.pdf
--- a/notes/woche5.pdf
+++ b/notes/woche5.pdf
--- a/protocol/woche5.md
+++ b/protocol/woche5.md
@ -1,15 +1,15 @@
 # Vorlesungswoche 5 (10.–16. Mai) #

 ## Agenda ##
- [x] 2–5 min Organisatorisches (max. 5 min)
- [x] Serie 2, Seminaraufgaben
-    - [x] 7,5 min SA 2.1 Modelle
-    - [x] 7,5 min SA 2.2 Wahrheitstafel ~> DNF/KNF
+- [ ] 2–5 min Organisatorisches (max. 5 min)
+- [ ] Serie 2, Seminaraufgaben
+    - [ ] 7,5 min SA 2.1 Modelle
+    - [ ] 7,5 min SA 2.2 Wahrheitstafel ~> DNF/KNF
        - DNF nur kurz
        - KNF
-    - [x] 5 min SA 2.3 Erkennung von Hornfml
-    - [x] 10 min SA 2.4 Markierungsalg
-    - [x] 10 min SA 2.5 Strukturelle Ind
+    - [ ] 5 min SA 2.3 Erkennung von Hornfml
+    - [ ] 10 min SA 2.4 Markierungsalg
+    - [ ] 10 min SA 2.5 Strukturelle Ind

 ## Nächste Woche ##