src/HOL/Nitpick.thy
changeset 35807 e4d1b5cbd429
parent 35699 9ed327529a44
child 36176 3fe7e97ccca8
     1.1 --- a/src/HOL/Nitpick.thy	Tue Mar 16 08:45:08 2010 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Wed Mar 17 09:14:43 2010 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  (*  Title:      HOL/Nitpick.thy
     1.5      Author:     Jasmin Blanchette, TU Muenchen
     1.6 -    Copyright   2008, 2009
     1.7 +    Copyright   2008, 2009, 2010
     1.8  
     1.9  Nitpick: Yet another counterexample generator for Isabelle/HOL.
    1.10  *)