Nominal/Abs.thy
changeset 1555 73992021c8f0
parent 1544 c6849a634582
child 1557 fee2389789ad
equal deleted inserted replaced
1554:572064152e8a 1555:73992021c8f0