src/HOLCF/Lift.thy
changeset 18260 5597cfcecd49
parent 18092 2c5d5da79a1e
child 19440 b2877e230b07