src/HOLCF/lift2.thy
changeset 9475 b24516d96847
parent 243 c22b85994e17