Amine Chaieb: experimental generic reflection and reification in HOL;
authorwenzelm
Sat Aug 05 14:52:53 2006 +0200 (2006-08-05)
changeset 203406afc1c133b86
parent 20339 d001121600ac
child 20341 41e77e688886
Amine Chaieb: experimental generic reflection and reification in HOL;
CONTRIBUTORS
     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