Nominal/Abs.thy
changeset 1972 40db835442a0
parent 1933 9eab1dfc14d2
child 2068 79b733010bc5