src/HOLCF/Porder0.thy
changeset 5400 645f46a24c72
parent 3323 194ae2e0c193
child 7661 8c3190b173aa