Nominal/Abs.thy
changeset 1536 c8c2f83fadb4
parent 1487 b55b78e63913
child 1542 63e327e95abd