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