src/HOLCF/dlist.thy
changeset 1868 836950047d85
parent 298 3a0485439396