changeset 45035 | 60d2c03d5c70 |
parent 42959 | ee829022381d |
child 45694 | 4a8743618257 |
--- 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. *)