Nominal/Ex/Ex4.thy
changeset 2347 9807d30c0e54
parent 2145 f89773ab0685