changeset 35073 | cc19e2aef17e |
parent 34123 | 8a2c5d7aff51 |
child 35075 | 6fd1052fe463 |
1.1 --- a/src/HOL/Nitpick_Examples/Datatype_Nits.thy Fri Feb 05 12:04:54 2010 +0100 1.2 +++ b/src/HOL/Nitpick_Examples/Datatype_Nits.thy Fri Feb 05 14:27:21 2010 +0100 1.3 @@ -1,6 +1,6 @@ 1.4 (* Title: HOL/Nitpick_Examples/Datatype_Nits.thy 1.5 Author: Jasmin Blanchette, TU Muenchen 1.6 - Copyright 2009 1.7 + Copyright 2009, 2010 1.8 1.9 Examples featuring Nitpick applied to datatypes. 1.10 *)