src/HOL/IsaMakefile
changeset 33192 08a39a957ed7
parent 33028 9aa8bfb1649d
child 33197 de6285ebcc05
     1.1 --- a/src/HOL/IsaMakefile	Thu Oct 22 14:45:20 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Oct 22 14:51:47 2009 +0200
     1.3 @@ -131,6 +131,7 @@
     1.4    Inductive.thy \
     1.5    Lattices.thy \
     1.6    Nat.thy \
     1.7 +  Nitpick.thy \
     1.8    Option.thy \
     1.9    OrderedGroup.thy \
    1.10    Orderings.thy \
    1.11 @@ -176,6 +177,21 @@
    1.12    Tools/Function/size.ML \
    1.13    Tools/Function/sum_tree.ML \
    1.14    Tools/Function/termination.ML \
    1.15 +  Tools/Nitpick/kodkod.ML \
    1.16 +  Tools/Nitpick/kodkod_sat.ML \
    1.17 +  Tools/Nitpick/minipick.ML \
    1.18 +  Tools/Nitpick/nitpick.ML \
    1.19 +  Tools/Nitpick/nitpick_hol.ML \
    1.20 +  Tools/Nitpick/nitpick_isar.ML \
    1.21 +  Tools/Nitpick/nitpick_kodkod.ML \
    1.22 +  Tools/Nitpick/nitpick_model.ML \
    1.23 +  Tools/Nitpick/nitpick_mono.ML \
    1.24 +  Tools/Nitpick/nitpick_nut.ML \
    1.25 +  Tools/Nitpick/nitpick_peephole.ML \
    1.26 +  Tools/Nitpick/nitpick_rep.ML \
    1.27 +  Tools/Nitpick/nitpick_scope.ML \
    1.28 +  Tools/Nitpick/nitpick_tests.ML \
    1.29 +  Tools/Nitpick/nitpick_util.ML \
    1.30    Tools/inductive_codegen.ML \
    1.31    Tools/inductive.ML \
    1.32    Tools/inductive_realizer.ML \