CONTRIBUTORS
changeset 47567 407cabf66f21
parent 47563 01f687b84aff
child 47695 89a90da149a9
     1.1 --- a/CONTRIBUTORS	Wed Apr 18 23:57:44 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Apr 17 16:21:47 2012 +1000
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to Isabelle2012
     1.5  -----------------------------
     1.6  
     1.7 +* April 2012: Thomas Sewell, NICTA
     1.8 +    (based on work done with Sascha Boehme, TUM in 2010)
     1.9 +  WordBitwise: logic/circuit expansion of bitvector equalities/inequalities.
    1.10 +
    1.11  * March 2012: Christian Sternagel, Japan Advanced Institute of Science
    1.12    and Technology
    1.13    Consolidated theory of relation composition.