Nominal/Unused.thy
changeset 2347 9807d30c0e54
parent 2133 16834a4ca1bb