Nominal/NewAlpha.thy
changeset 2281 0f3c497fb3b0
parent 2200 31f1ec832d39
child 2303 c785fff02a8f
equal deleted inserted replaced
2280:229660b9f2fc 2281:0f3c497fb3b0