get_sort: minimize sorts given in the text, while keeping those from the context unchanged (the latter are preferred);
tuned;
(* Title: HOL/Nitpick_Examples/ROOT.ML
Author: Jasmin Blanchette, TU Muenchen
Copyright 2009
Nitpick examples.
*)
if getenv "KODKODI" = "" then
()
else
setmp_noncritical quick_and_dirty true use_thys
["Nitpick_Examples"];