Add changelog entry

jeltsch · jeltsch · commit fb438cfe86a3 · 2021-11-23T18:27:26.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,2 +1,4 @@
 Start – version 0.0.0.0
 =======================
+
+  * Document the usage of the next-generation equivalence reasoner
