src/HOL/Nitpick_Examples/Datatype_Nits.thy
2009-12-14 blanchet 2009-12-14 make Nitpick tests more robust by specifying SAT solver, singlethreading (in Kodkod, not in Isabelle), and higher time limits
2009-10-23 blanchet 2009-10-23 make the Nitpick examples work again
2009-10-23 blanchet 2009-10-23 continuation of Nitpick's integration into Isabelle; added examples, and integrated non-Main theories better.