changeset 35284 | 9edc2bd6d2bd |
parent 35220 | 2bcdae5f4fdb |
child 35311 | 8f9a66fc9f80 |
--- a/src/HOL/Nitpick.thy Mon Feb 22 14:36:10 2010 +0100 +++ b/src/HOL/Nitpick.thy Mon Feb 22 19:31:00 2010 +0100 @@ -8,7 +8,7 @@ header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *} theory Nitpick -imports Map SAT +imports Map Quotient SAT uses ("Tools/Nitpick/kodkod.ML") ("Tools/Nitpick/kodkod_sat.ML") ("Tools/Nitpick/nitpick_util.ML")