src/HOL/Nitpick.thy
changeset 35284 9edc2bd6d2bd
parent 35220 2bcdae5f4fdb
child 35311 8f9a66fc9f80
     1.1 --- a/src/HOL/Nitpick.thy	Mon Feb 22 14:36:10 2010 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Mon Feb 22 19:31:00 2010 +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 SAT
     1.8 +imports Map Quotient SAT
     1.9  uses ("Tools/Nitpick/kodkod.ML")
    1.10       ("Tools/Nitpick/kodkod_sat.ML")
    1.11       ("Tools/Nitpick/nitpick_util.ML")