Nominal/Rsp.thy
changeset 1485 c004e7448dca
parent 1474 8a03753e0e02
child 1494 923413256cbb