From b369b2235e1602e10398d843a155a99511e6e2bb Mon Sep 17 00:00:00 2001
From: paul-loedige <paul@gve-loedige.de>
Date: Mon, 8 Feb 2021 09:58:02 +0100
Subject: [PATCH] =?UTF-8?q?anforderung=20hinzugef=C3=BCgt?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Readme.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Readme.md b/Readme.md
index 2babaa5..a908151 100644
--- a/Readme.md
+++ b/Readme.md
@@ -20,6 +20,7 @@ Dieses Repo beinhaltet die $\LaTeX$ Informationen für die Zusammenfassung im Fa
 - [x] Resolutionsalgorithmus (Hypothese wird negiert hinzugefügt)
 - [x] Äquivalenztabelle aus Übung 6 (Prädikatenlogik)
 - [x] Skolemisierungsverfahren hinzufügen
+- [ ] Unifikationsverfahren hinzufügen
 
 ## Hinweise
 Requires you to enable [--shell escape](https://tex.stackexchange.com/questions/516604/how-to-enable-shell-escape-or-write18-visual-studio-code-latex-workshop)