changeset 45035 | 60d2c03d5c70 |
parent 42959 | ee829022381d |
child 45970 | b6d0cff57d96 |
--- a/src/HOL/Nitpick_Examples/Core_Nits.thy Wed Sep 21 15:55:15 2011 +0200 +++ b/src/HOL/Nitpick_Examples/Core_Nits.thy Wed Sep 21 15:55:16 2011 +0200 @@ -1,6 +1,6 @@ (* Title: HOL/Nitpick_Examples/Core_Nits.thy Author: Jasmin Blanchette, TU Muenchen - Copyright 2009, 2010 + Copyright 2009-2011 Examples featuring Nitpick's functional core. *)