Nominal/Ex/SingleLet.thy
changeset 2307 118a0ca16381
parent 2306 86c977b4a9bb
child 2308 387fcbd33820
equal deleted inserted replaced
2306:86c977b4a9bb 2307:118a0ca16381