Nominal/Rsp.thy
changeset 2426 deb5be0115a7
parent 2394 e2759a4dad4b
child 2428 58e60df1ff79