Nominal/Ex/SingleLet.thy
changeset 2333 a0fecce8b244
parent 2330 8728f7990f6d
child 2336 f2d545b77b31
equal deleted inserted replaced
2332:9a560e489c64 2333:a0fecce8b244