two target language numeral types: integer and natural, as replacement for code_numeral;
former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral;
refined stack of theories implementing int and/or nat by target language numerals;
reduced number of target language numeral types to exactly one
(* 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