Nominal/Rsp.thy
changeset 1360 c54cb3f7ac70
parent 1334 80441e27dfd6
child 1407 beeaa85c9897
equal deleted inserted replaced
1359:3bf496a971c6 1360:c54cb3f7ac70