changeset 35807 | e4d1b5cbd429 |
parent 35699 | 9ed327529a44 |
child 36176 | 3fe7e97ccca8 |
--- 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. *)