diff --git a/examples/example-hegel.md b/examples/example-hegel.md index ead075c..53b8324 100644 --- a/examples/example-hegel.md +++ b/examples/example-hegel.md @@ -38,11 +38,11 @@ theme : hegel ![bg left:33% hue-rotate:355deg](https://upload.wikimedia.org/wikipedia/commons/0/08/Hegel_portrait_by_Schlesinger_1831.jpg) -
Graph Algebra and Formally Defined Programs in Z
-
Using Haskell to Reason and Verify Programs
-
Leonard Kleinrock
-
01.jan.2022
-
Formal Methods International Congress
+
Phänomenologie des Geistes
+
Wissenschaft von der Erfahrung des Bewusstseins
+
Georg Wilhelm Friedrich Hegel
+
Bamberg und Würzburg, 1807
+
Akademie Verlag
@@ -50,11 +50,11 @@ theme : hegel -# Graph Algebra Representation of Formally Defined Programs in Z -## Using Haskell to Reason and Verify Programs -### Leonard Kleinrock -#### 01.jan.2022 -##### Formal Methods International Congress +# Phänomenologie des Geistes +## Wissenschaft von der Erfahrung des Bewusstseins +### Georg Wilhelm Friedrich Hegel +#### Bamberg und Würzburg, 1807 +##### Akademie Verlag --- diff --git a/examples/example-hegel.pdf b/examples/example-hegel.pdf index 0ff59d1..9e54534 100644 Binary files a/examples/example-hegel.pdf and b/examples/example-hegel.pdf differ diff --git a/img/hegel.png b/img/hegel.png index 521415b..a53f2a8 100644 Binary files a/img/hegel.png and b/img/hegel.png differ