Nominal/Ex/SingleLetFoo.thy
changeset 2420 f2d4dae2a10b
parent 2136 2fc55508a6d0