# HG changeset patch
# User wenzelm
# Date 1154782373 -7200
# Node ID 6afc1c133b8668a01cd565643d879fee8c90746d
# Parent  d001121600ac48a753df659290d5cb271ee0d3c7
Amine Chaieb: experimental generic reflection and reification in HOL;

diff -r d001121600ac -r 6afc1c133b86 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.