renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
(* Title: HOL/Nitpick_Examples/ROOT.ML
Author: Jasmin Blanchette, TU Muenchen
Copyright 2009
Nitpick examples.
*)
setmp_noncritical quick_and_dirty true use_thys ["Nitpick_Examples"];