Nominal/Nominal2.thy
changeset 2484 594f3401605f
parent 2483 37941f58ab8f
child 2487 fbdaaa20396b
equal deleted inserted replaced
2483:37941f58ab8f 2484:594f3401605f