src/HOLCF/Lift2.thy
changeset 11145 3e47692e3a3e
parent 3033 50e14d6d894f