changeset 35076 | cc19e2aef17e |
parent 35071 | 3df45b0ce819 |
child 35191 | 69fa4c39dab2 |
--- a/src/HOL/Nitpick_Examples/Mono_Nits.thy Fri Feb 05 12:04:54 2010 +0100 +++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy Fri Feb 05 14:27:21 2010 +0100 @@ -1,6 +1,6 @@ (* Title: HOL/Nitpick_Examples/Mono_Nits.thy Author: Jasmin Blanchette, TU Muenchen - Copyright 2009 + Copyright 2009, 2010 Examples featuring Nitpick's monotonicity check. *)