src/HOL/HOLCF/Tr.thy
changeset 54667 4dd08fe126ba
parent 51717 9e7d1c139569
child 58880 0baae4311a9f