Quot/Nominal/LamEx.thy
changeset 1257 fde1ddadc726
parent 1139 c4001cda9da3