# HG changeset patch # User blanchet # Date 1273842473 -7200 # Node ID 7c429a484c745e2814851274021aa0b27c524575 # Parent 1806aa69bd62c734b4b4093c953f5bbc4c838711 move Nitpick files from "PLAIN_DEPENDENCIES" to "MAIN_DEPENDENCIES", where they belong diff -r 1806aa69bd62 -r 7c429a484c74 src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Fri May 14 15:02:38 2010 +0200 +++ b/src/HOL/IsaMakefile Fri May 14 15:07:53 2010 +0200 @@ -154,7 +154,6 @@ Inductive.thy \ Lattices.thy \ Nat.thy \ - Nitpick.thy \ Option.thy \ Orderings.thy \ Plain.thy \ @@ -197,22 +196,6 @@ Tools/Function/size.ML \ Tools/Function/sum_tree.ML \ Tools/Function/termination.ML \ - Tools/Nitpick/kodkod.ML \ - Tools/Nitpick/kodkod_sat.ML \ - Tools/Nitpick/minipick.ML \ - Tools/Nitpick/nitpick.ML \ - Tools/Nitpick/nitpick_hol.ML \ - Tools/Nitpick/nitpick_isar.ML \ - Tools/Nitpick/nitpick_kodkod.ML \ - Tools/Nitpick/nitpick_model.ML \ - Tools/Nitpick/nitpick_mono.ML \ - Tools/Nitpick/nitpick_nut.ML \ - Tools/Nitpick/nitpick_peephole.ML \ - Tools/Nitpick/nitpick_preproc.ML \ - Tools/Nitpick/nitpick_rep.ML \ - Tools/Nitpick/nitpick_scope.ML \ - Tools/Nitpick/nitpick_tests.ML \ - Tools/Nitpick/nitpick_util.ML \ Tools/inductive_codegen.ML \ Tools/inductive.ML \ Tools/inductive_realizer.ML \ @@ -262,6 +245,7 @@ Map.thy \ Nat_Numeral.thy \ Nat_Transfer.thy \ + Nitpick.thy \ Numeral_Simprocs.thy \ Presburger.thy \ Predicate_Compile.thy \ @@ -291,6 +275,22 @@ Tools/list_code.ML \ Tools/meson.ML \ Tools/nat_numeral_simprocs.ML \ + Tools/Nitpick/kodkod.ML \ + Tools/Nitpick/kodkod_sat.ML \ + Tools/Nitpick/minipick.ML \ + Tools/Nitpick/nitpick.ML \ + Tools/Nitpick/nitpick_hol.ML \ + Tools/Nitpick/nitpick_isar.ML \ + Tools/Nitpick/nitpick_kodkod.ML \ + Tools/Nitpick/nitpick_model.ML \ + Tools/Nitpick/nitpick_mono.ML \ + Tools/Nitpick/nitpick_nut.ML \ + Tools/Nitpick/nitpick_peephole.ML \ + Tools/Nitpick/nitpick_preproc.ML \ + Tools/Nitpick/nitpick_rep.ML \ + Tools/Nitpick/nitpick_scope.ML \ + Tools/Nitpick/nitpick_tests.ML \ + Tools/Nitpick/nitpick_util.ML \ Tools/numeral.ML \ Tools/numeral_simprocs.ML \ Tools/numeral_syntax.ML \