Nominal/Ex/Foo1.thy
changeset 3147 d24e70483051
parent 2950 0911cb7bf696