Quot/Nominal/LamEx2.thy
changeset 1052 c1b469325033
parent 1028 41fc4d3fc764
child 1087 bb7f4457091a