src/HOLCF/Lift3.thy
changeset 11145 3e47692e3a3e
parent 10834 a7897aebbffc