proper InvocationTargetException.getCause for indirect exceptions;
capture hard errors to ensure protocol integrity;
tuned error messages;
(* Title: HOL/Nitpick_Examples/ROOT.ML
Author: Jasmin Blanchette, TU Muenchen
Copyright 2009
Nitpick examples.
*)
Unsynchronized.setmp quick_and_dirty true use_thys ["Nitpick_Examples"];