1.1 --- a/CONTRIBUTORS Sat Feb 28 20:29:20 2009 +0100
1.2 +++ b/CONTRIBUTORS Sat Feb 28 21:34:33 2009 +0100
1.3 @@ -7,6 +7,9 @@
1.4 Contributions to this Isabelle version
1.5 --------------------------------------
1.6
1.7 +* February 2009: Filip Maric, Univ. of Belgrade
1.8 + A Serbian theory.
1.9 +
1.10 * February 2009: Jasmin Christian Blanchette, TUM
1.11 Misc cleanup of HOL/refute.
1.12
1.13 @@ -52,7 +55,7 @@
1.14 HOLCF library improvements.
1.15
1.16 * 2007/2008: Stefan Berghofer, TUM
1.17 - HOL-Nominal package improvements.
1.18 + HOL-Nominal package improvements.
1.19
1.20 * March 2008: Markus Reiter, TUM
1.21 HOL/Library/RBT: red-black trees.