Nominal/Unused.thy
changeset 2198 8fe1a706ade7
parent 2133 16834a4ca1bb