1 files changed, 3 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index 064a4dc9..0dccdeb4 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -18,4 +18,7 @@ Previous Authors:
    Dilip Sequeira    (lego)
    Patrick Loiseleur (coq)
 
+Assistance also from:
+
+   David von Oheimb  (x-symbol)