src/HOLCF/IMP/Denotational.thy
changeset 37380 35815ce9218a
parent 37085 b2073920448f