src/HOL/Nitpick_Examples/Special_Nits.thy

--- a/src/HOL/Nitpick_Examples/Special_Nits.thy	Wed Sep 21 15:55:15 2011 +0200
+++ b/src/HOL/Nitpick_Examples/Special_Nits.thy	Wed Sep 21 15:55:16 2011 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Nitpick_Examples/Special_Nits.thy
     Author:     Jasmin Blanchette, TU Muenchen
-    Copyright   2009, 2010
+    Copyright   2009-2011
 
 Examples featuring Nitpick's "specialize" optimization.
 *)