src/HOL/Nitpick.thy
changeset 33608 5c0024338cef
parent 33562 b1e2830ee31a
child 33747 3aa6b9911252
     1.1 --- a/src/HOL/Nitpick.thy	Wed Nov 11 09:02:20 2009 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Wed Nov 11 09:02:37 2009 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *}
     1.5  
     1.6  theory Nitpick
     1.7 -imports Map Quickcheck SAT
     1.8 +imports Map SAT
     1.9  uses ("Tools/Nitpick/kodkod.ML")
    1.10       ("Tools/Nitpick/kodkod_sat.ML")
    1.11       ("Tools/Nitpick/nitpick_util.ML")