Nominal/Ex/Foo1.thy
changeset 2976 d5ecc2f7f299
parent 2950 0911cb7bf696