Nominal/Unused.thy
changeset 2307 118a0ca16381
parent 2133 16834a4ca1bb