src/HOL/Tools/Nitpick/nitpick_tests.ML
2009-10-22 blanchet 2009-10-22 added Nitpick's theory and ML files to Isabelle/HOL; the examples and the documentation are on their way.