Nominal/Ex/NoneExamples.thy
changeset 2420 f2d4dae2a10b
parent 2083 9568f9f31822
child 2436 3885dc2669f9