1.1 --- a/src/HOL/IsaMakefile	Thu Dec 17 15:22:27 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Dec 18 12:00:29 2009 +0100
     1.3 @@ -610,13 +610,13 @@
     1.4  
     1.5  HOL-Nitpick_Examples: HOL $(LOG)/HOL-Nitpick_Examples.gz
     1.6  
     1.7 -$(LOG)/HOL-Nitpick_Examples.gz: $(OUT)/HOL Nitpick_Examples/ROOT.ML	\
     1.8 -  Nitpick_Examples/Core_Nits.thy Nitpick_Examples/Datatype_Nits.thy	\
     1.9 -  Nitpick_Examples/Induct_Nits.thy Nitpick_Examples/Manual_Nits.thy	\
    1.10 -  Nitpick_Examples/Mini_Nits.thy Nitpick_Examples/Mono_Nits.thy		\
    1.11 -  Nitpick_Examples/Nitpick_Examples.thy					\
    1.12 -  Nitpick_Examples/Pattern_Nits.thy Nitpick_Examples/Record_Nits.thy	\
    1.13 -  Nitpick_Examples/Refute_Nits.thy Nitpick_Examples/Special_Nits.thy	\
    1.14 +$(LOG)/HOL-Nitpick_Examples.gz: $(OUT)/HOL Nitpick_Examples/ROOT.ML \
    1.15 +  Nitpick_Examples/Core_Nits.thy Nitpick_Examples/Datatype_Nits.thy \
    1.16 +  Nitpick_Examples/Induct_Nits.thy Nitpick_Examples/Integer_Nits.thy \
    1.17 +  Nitpick_Examples/Manual_Nits.thy Nitpick_Examples/Mini_Nits.thy \
    1.18 +  Nitpick_Examples/Mono_Nits.thy Nitpick_Examples/Nitpick_Examples.thy \
    1.19 +  Nitpick_Examples/Pattern_Nits.thy Nitpick_Examples/Record_Nits.thy \
    1.20 +  Nitpick_Examples/Refute_Nits.thy Nitpick_Examples/Special_Nits.thy \
    1.21    Nitpick_Examples/Tests_Nits.thy Nitpick_Examples/Typedef_Nits.thy
    1.22  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Nitpick_Examples
    1.23