Nominal/Rsp.thy
changeset 2372 06574b438b8f
parent 2335 558c823f96aa
child 2394 e2759a4dad4b