CONTRIBUTORS

--- a/CONTRIBUTORS	Sat Aug 05 00:52:17 2006 +0200
+++ b/CONTRIBUTORS	Sat Aug 05 14:52:53 2006 +0200
@@ -1,6 +1,10 @@
+
 Contributions to Isabelle
 -------------------------
 
+* August 2006: Amine Chaieb, TUM
+  Experimental support for generic reflection and reification in HOL.
+
 * July 2006: Rafal Kolanski, NICTA
   Hex (0xFF) and binary (0b1011) numerals.