--- a/src/HOL/Nitpick_Examples/Nitpick_Examples.thy Wed Sep 21 15:55:15 2011 +0200
+++ b/src/HOL/Nitpick_Examples/Nitpick_Examples.thy Wed Sep 21 15:55:16 2011 +0200
@@ -1,13 +1,13 @@
(* Title: HOL/Nitpick_Examples/Nitpick_Examples.thy
Author: Jasmin Blanchette, TU Muenchen
- Copyright 2009, 2010
+ Copyright 2009-2011
Nitpick examples.
*)
theory Nitpick_Examples
imports Core_Nits Datatype_Nits Hotel_Nits Induct_Nits Integer_Nits Manual_Nits
- Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits
- Typedef_Nits
+ Mini_Nits Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits
+ Tests_Nits Typedef_Nits
begin
end