src/HOL/Transfer.thy
changeset 58410 6d46ad54a2ab
parent 58386 6999f55645ea
child 58444 ed95293f14b6