src/HOL/Nominal/Examples/ROOT.ML

improved precision of infinite "shallow" datatypes in Nitpick;
e.g. strings used for variable names, instead of an opaque type

use_thys ["Nominal_Examples"];

setmp_noncritical quick_and_dirty true use_thys ["VC_Condition"];