--- a/src/HOL/Nitpick_Examples/Nitpick_Examples.thy Thu Dec 17 15:22:27 2009 +0100
+++ b/src/HOL/Nitpick_Examples/Nitpick_Examples.thy Fri Dec 18 12:00:29 2009 +0100
@@ -6,9 +6,8 @@
*)
theory Nitpick_Examples
-imports Core_Nits Datatype_Nits Induct_Nits Manual_Nits Mini_Nits Mono_Nits
- Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits
+imports Core_Nits Datatype_Nits Induct_Nits Integer_Nits Manual_Nits Mini_Nits
+ Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits
Typedef_Nits
begin
-
end