src/HOLCF/Pcpo.thy
changeset 10112 76d029a4c42e
parent 5438 c89ee3a46a74
child 12030 46d57d0290a2
equal deleted inserted replaced
10111:78a0397eaec1 10112:76d029a4c42e