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