src/HOL/HOLCF/ex/Domain_Proofs.thy
changeset 72688 8cb82e7f1743
parent 62175 8ffc4d0e652d
equal deleted inserted replaced
72687:8e5428ff35af 72688:8cb82e7f1743