src/HOLCF/NatIso.thy
changeset 31726 ffd2dc631d88
parent 28952 15a4b2cf8c34