Nominal/Test_compat.thy
changeset 1476 e911dae20737
parent 1370 0e32379e452f