src/HOL/Nitpick.thy
changeset 38393 7c045c03598f
parent 37704 c6161bee8486
child 39198 f967a16dfcdd
child 39221 70fd4a3c41ed
     1.1 --- a/src/HOL/Nitpick.thy	Thu Aug 12 13:53:42 2010 +0200
     1.2 +++ b/src/HOL/Nitpick.thy	Thu Aug 12 17:56:41 2010 +0200
     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 Quotient SAT
     1.8 +imports Map Quotient SAT Record
     1.9  uses ("Tools/Nitpick/kodkod.ML")
    1.10       ("Tools/Nitpick/kodkod_sat.ML")
    1.11       ("Tools/Nitpick/nitpick_util.ML")