From 3d42ab568ef528b6292b61d7cc1e7a7ee6cd5132 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Tue, 4 Apr 2023 18:04:23 +0200 Subject: [PATCH] Revert dates for now as content is largely unchanged --- info4/kapitel-0/Logik.ipynb | 2 +- info4/kapitel-0/Mengentheorie.ipynb | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb index 611dc2c..cf07e5c 100644 --- a/info4/kapitel-0/Logik.ipynb +++ b/info4/kapitel-0/Logik.ipynb @@ -6,7 +6,7 @@ "source": [ "# Theoretische Informatik - Vorlesung 0 - Teil 1 Logik\n", "\n", - "* April 2023\n", + "* April 2020\n", "* Michael Leuschel\n", "* Lehrstuhl Softwaretechnik und Programmiersprachen\n", "* Heinrich-Heine Universität Düsseldorf\n", diff --git a/info4/kapitel-0/Mengentheorie.ipynb b/info4/kapitel-0/Mengentheorie.ipynb index 37a6a1f..eccfc33 100644 --- a/info4/kapitel-0/Mengentheorie.ipynb +++ b/info4/kapitel-0/Mengentheorie.ipynb @@ -6,7 +6,7 @@ "source": [ "# Theoretische Informatik - Vorlesung 0 - Teil 2 Mengentheorie\n", "\n", - "* April 2023\n", + "* April 2020\n", "* Michael Leuschel\n", "* Lehrstuhl Softwaretechnik und Programmiersprachen\n", "* Heinrich-Heine Universität Düsseldorf\n", -- GitLab