src/HOL/Nitpick_Examples/Nitpick_Examples.thy
changeset 34126 8a2c5d7aff51
parent 33197 de6285ebcc05
child 35076 cc19e2aef17e
     1.1 --- a/src/HOL/Nitpick_Examples/Nitpick_Examples.thy	Thu Dec 17 15:22:27 2009 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Nitpick_Examples.thy	Fri Dec 18 12:00:29 2009 +0100
     1.3 @@ -6,9 +6,8 @@
     1.4  *)
     1.5  
     1.6  theory Nitpick_Examples
     1.7 -imports Core_Nits Datatype_Nits Induct_Nits Manual_Nits Mini_Nits Mono_Nits
     1.8 -        Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits
     1.9 +imports Core_Nits Datatype_Nits Induct_Nits Integer_Nits Manual_Nits Mini_Nits
    1.10 +        Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits
    1.11          Typedef_Nits
    1.12  begin
    1.13 -
    1.14  end