
diff -r b0f61dec677a -r 60d2c03d5c70 src/HOL/Nitpick_Examples/Refute_Nits.thy
--- a/src/HOL/Nitpick_Examples/Refute_Nits.thy	Wed Sep 21 15:55:15 2011 +0200
+++ b/src/HOL/Nitpick_Examples/Refute_Nits.thy	Wed Sep 21 15:55:16 2011 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOL/Nitpick_Examples/Refute_Nits.thy
     Author:     Jasmin Blanchette, TU Muenchen
-    Copyright   2009, 2010
+    Copyright   2009-2011
 
 Refute examples adapted to Nitpick.
 *)




