(* Title: HOL/Nitpick_Examples/Tests_Nits.thy Author: Jasmin Blanchette, TU Muenchen Copyright 2009, 2010 Nitpick tests. *) header {* Nitpick Tests *} theory Tests_Nits imports Main begin ML {* () |> getenv "KODKODI" <> "" ? Nitpick_Tests.run_all_tests *} end