continuation of Nitpick's integration into Isabelle;
added examples, and integrated non-Main theories better.
(* 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 {* NitpickTests.run_all_tests () *}
end