src/HOL/Tools/Nitpick/nitpick.ML
2009-10-27 ago internal renaming in Nitpick and fixed Kodkodi invokation on Linux;
2009-10-22 ago added Nitpick's theory and ML files to Isabelle/HOL;