Quot/Nominal/LamEx.thy
changeset 1042 5a3bc323661c
parent 1028 41fc4d3fc764
child 1087 bb7f4457091a