changeset 45691 | 7798deb6f8fa |
parent 45680 | 27ba81ad0890 |
parent 45682 | a0459c50cfc9 |
child 45756 | 3d853767e5f3 |
1.1 --- a/CONTRIBUTORS Wed Sep 07 23:55:40 2011 +0200 1.2 +++ b/CONTRIBUTORS Thu Sep 08 00:23:23 2011 +0200 1.3 @@ -3,8 +3,8 @@ 1.4 who is listed as an author in one of the source files of this Isabelle 1.5 distribution. 1.6 1.7 -Contributions to this Isabelle version 1.8 --------------------------------------- 1.9 +Contributions to Isabelle2011-1 1.10 +------------------------------- 1.11 1.12 * September 2011: Peter Gammie 1.13 Theory HOL/Libary/Saturated: numbers with saturated arithmetic.