src/HOLCF/explicit_domains/Dnat.thy
changeset 2678 d5fe793293ac
parent 2569 3a8604f408c9