src/HOLCF/lift1.thy
changeset 6019 0e55c2fb2ebb
parent 248 0d0a6a17a02f