CONTRIBUTORS
changeset 20067 26bac504ef90
parent 19896 286d950883bc
child 20340 6afc1c133b86
     1.1 --- a/CONTRIBUTORS	Mon Jul 10 21:02:29 2006 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Jul 11 00:43:54 2006 +0200
     1.3 @@ -1,6 +1,9 @@
     1.4  Contributions to Isabelle
     1.5  -------------------------
     1.6  
     1.7 +* July 2006: Rafal Kolanski, NICTA
     1.8 +  Hex (0xFF) and binary (0b1011) numerals.
     1.9 +
    1.10  * May 2006: Klaus Aehlig, LMU
    1.11    Command 'normal_form': normalization by evaluation.
    1.12