diff --git a/ChangeLog b/ChangeLog
index 9acfaa51a..eec7dce6a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-07-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* THANKS: Fill in.
+
 	* src/tgbatest/ltl2baw.pl: Do not use -T anymore.  Fix comments.
 
 2004-07-08  Alexandre Duret-Lutz  <adl@src.lip6.fr>
diff --git a/THANKS b/THANKS
index e69de29bb..6f517e9ee 100644
--- a/THANKS
+++ b/THANKS
@@ -0,0 +1,7 @@
+We are grateful to these people for their comments, help, or
+suggestions.
+
+Heikki Tauriainen
+Jean-Michel Couvreur
+Jean-Michel Ilié
+Yann Thierry-Mieg