CONTRIBUTORS
changeset 44818 27ba81ad0890
parent 41651 c78b786fe060
child 44820 7798deb6f8fa
     1.1 --- a/CONTRIBUTORS	Wed Sep 07 23:07:16 2011 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Sep 07 23:38:52 2011 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* September 2011: Peter Gammie
     1.8 +  Theory HOL/Libary/Saturated: numbers with saturated arithmetic.
     1.9 +
    1.10 +* August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM
    1.11 +  Refined theory on complete lattices.
    1.12 +
    1.13  
    1.14  Contributions to Isabelle2011
    1.15  -----------------------------