tuned imports
authorhaftmann
Wed Nov 11 09:02:37 2009 +0100 (2009-11-11)
changeset 336085c0024338cef
parent 33607 9b3c4e95380e
child 33609 059cd49e4b1e
child 33611 168b928d5024
child 33615 261abc2e3155
tuned imports
src/HOL/Nitpick.thy
     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")