src/HOL/Nitpick.thy
changeset 35070 96136eb6218f
parent 34982 7b8c366e34a2
child 35079 592edca1dfb3
     1.1 --- a/src/HOL/Nitpick.thy	Thu Feb 04 13:36:52 2010 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Thu Feb 04 16:03:15 2010 +0100
     1.3 @@ -13,6 +13,7 @@
     1.4       ("Tools/Nitpick/kodkod_sat.ML")
     1.5       ("Tools/Nitpick/nitpick_util.ML")
     1.6       ("Tools/Nitpick/nitpick_hol.ML")
     1.7 +     ("Tools/Nitpick/nitpick_preproc.ML")
     1.8       ("Tools/Nitpick/nitpick_mono.ML")
     1.9       ("Tools/Nitpick/nitpick_scope.ML")
    1.10       ("Tools/Nitpick/nitpick_peephole.ML")
    1.11 @@ -237,6 +238,7 @@
    1.12  use "Tools/Nitpick/kodkod_sat.ML"
    1.13  use "Tools/Nitpick/nitpick_util.ML"
    1.14  use "Tools/Nitpick/nitpick_hol.ML"
    1.15 +use "Tools/Nitpick/nitpick_preproc.ML"
    1.16  use "Tools/Nitpick/nitpick_mono.ML"
    1.17  use "Tools/Nitpick/nitpick_scope.ML"
    1.18  use "Tools/Nitpick/nitpick_peephole.ML"