src/HOL/Nitpick_Examples/Mini_Nits.thy

--- a/src/HOL/Nitpick_Examples/Mini_Nits.thy	Fri Feb 05 12:04:54 2010 +0100
+++ b/src/HOL/Nitpick_Examples/Mini_Nits.thy	Fri Feb 05 14:27:21 2010 +0100
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Nitpick_Examples/Mini_Nits.thy
     Author:     Jasmin Blanchette, TU Muenchen
-    Copyright   2009
+    Copyright   2009, 2010
 
 Examples featuring Minipick, the minimalistic version of Nitpick.
 *)