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 -----------------------------