Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Nitpick.thy
changeset 38393 7c045c03598f
parent 37704 c6161bee8486
child 39198 f967a16dfcdd
child 39221 70fd4a3c41ed 
--- a/src/HOL/Nitpick.thy	Thu Aug 12 13:53:42 2010 +0200
+++ b/src/HOL/Nitpick.thy	Thu Aug 12 17:56:41 2010 +0200
@@ -8,7 +8,7 @@
 header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *}
 
 theory Nitpick
-imports Map Quotient SAT
+imports Map Quotient SAT Record
 uses ("Tools/Nitpick/kodkod.ML")
      ("Tools/Nitpick/kodkod_sat.ML")
      ("Tools/Nitpick/nitpick_util.ML")
isabelle