Nominal/Ex/Foo1.thy
changeset 3130 8fc6b801985b
parent 2950 0911cb7bf696