changeset 20340 | 6afc1c133b86 |
parent 20067 | 26bac504ef90 |
child 21169 | b6a5c98c5e38 |
1.1 --- a/CONTRIBUTORS Sat Aug 05 00:52:17 2006 +0200 1.2 +++ b/CONTRIBUTORS Sat Aug 05 14:52:53 2006 +0200 1.3 @@ -1,6 +1,10 @@ 1.4 + 1.5 Contributions to Isabelle 1.6 ------------------------- 1.7 1.8 +* August 2006: Amine Chaieb, TUM 1.9 + Experimental support for generic reflection and reification in HOL. 1.10 + 1.11 * July 2006: Rafal Kolanski, NICTA 1.12 Hex (0xFF) and binary (0b1011) numerals. 1.13