Quot/Nominal/LamEx.thy
changeset 1078 f4da25147389
parent 1028 41fc4d3fc764
child 1087 bb7f4457091a