--- a/CONTRIBUTORS Sat Feb 28 20:29:20 2009 +0100
+++ b/CONTRIBUTORS Sat Feb 28 21:34:33 2009 +0100
@@ -7,6 +7,9 @@
Contributions to this Isabelle version
--------------------------------------
+* February 2009: Filip Maric, Univ. of Belgrade
+ A Serbian theory.
+
* February 2009: Jasmin Christian Blanchette, TUM
Misc cleanup of HOL/refute.
@@ -52,7 +55,7 @@
HOLCF library improvements.
* 2007/2008: Stefan Berghofer, TUM
- HOL-Nominal package improvements.
+ HOL-Nominal package improvements.
* March 2008: Markus Reiter, TUM
HOL/Library/RBT: red-black trees.