1 (* Title: HOL/Nitpick_Examples/ROOT.ML
2 Author: Jasmin Blanchette, TU Muenchen
3 Copyright 2009
4
5 Nitpick examples.
6 *)
7
8 setmp_noncritical quick_and_dirty true (try use_thy) "Nitpick_Examples";