more abstract Sendback operations, with explicit id/exec_id properties;
purge result messages (again), cf. db58490a68ac, 7b61a539721e;
(* Title: HOL/Nitpick_Examples/Tests_Nits.thy
Author: Jasmin Blanchette, TU Muenchen
Copyright 2009-2011
Nitpick tests.
*)
header {* Nitpick Tests *}
theory Tests_Nits
imports Main
begin
ML {* () |> getenv "KODKODI" <> "" ? Nitpick_Tests.run_all_tests *}
end