Nominal/Ex/Ex1.thy
changeset 3140 5179ff4806c5
parent 2950 0911cb7bf696