Quot/Nominal/LamEx.thy
changeset 1211 05e5fcf9840b
parent 1139 c4001cda9da3
equal deleted inserted replaced
1210:10a0e3578507 1211:05e5fcf9840b