src/HOL/Nitpick_Examples/Nitpick_Examples.thy
changeset 45035 60d2c03d5c70
parent 39221 70fd4a3c41ed
     1.1 --- a/src/HOL/Nitpick_Examples/Nitpick_Examples.thy	Wed Sep 21 15:55:15 2011 +0200
     1.2 +++ b/src/HOL/Nitpick_Examples/Nitpick_Examples.thy	Wed Sep 21 15:55:16 2011 +0200
     1.3 @@ -1,13 +1,13 @@
     1.4  (*  Title:      HOL/Nitpick_Examples/Nitpick_Examples.thy
     1.5      Author:     Jasmin Blanchette, TU Muenchen
     1.6 -    Copyright   2009, 2010
     1.7 +    Copyright   2009-2011
     1.8  
     1.9  Nitpick examples.
    1.10  *)
    1.11  
    1.12  theory Nitpick_Examples
    1.13  imports Core_Nits Datatype_Nits Hotel_Nits Induct_Nits Integer_Nits Manual_Nits
    1.14 -        Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits
    1.15 -        Typedef_Nits
    1.16 +        Mini_Nits Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits
    1.17 +        Tests_Nits Typedef_Nits
    1.18  begin
    1.19  end