
diff -r a814cccce0b8 -r e4d1b5cbd429 src/HOL/Nitpick.thy
--- a/src/HOL/Nitpick.thy	Tue Mar 16 08:45:08 2010 +0100
+++ b/src/HOL/Nitpick.thy	Wed Mar 17 09:14:43 2010 +0100
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Nitpick.thy
     Author:     Jasmin Blanchette, TU Muenchen
-    Copyright   2008, 2009
+    Copyright   2008, 2009, 2010
 
 Nitpick: Yet another counterexample generator for Isabelle/HOL.
 *)




