Quot/Nominal/LamEx2.thy
changeset 1198 5523d5713a65
parent 1139 c4001cda9da3
child 1210 10a0e3578507