src/HOL/Nitpick_Examples/ROOT.ML
2009-11-17 blanchet 2009-11-17 removed "debug := true" that shouldn't have been submitted in the first place
2009-11-17 blanchet 2009-11-17 run Nitpick examples if Kodkodi is available
2009-10-23 blanchet 2009-10-23 continuation of Nitpick's integration into Isabelle; added examples, and integrated non-Main theories better.