Nominal/Ex/SingleLetFoo.thy
changeset 2208 b0b2198040d7
parent 2136 2fc55508a6d0