Nominal/Rsp.thy
changeset 1829 ac8cb569a17b
parent 1744 00680cea0dde
child 1877 7af807a85e22
equal deleted inserted replaced
1828:f374ffd50c7c 1829:ac8cb569a17b