src/HOL/HOLCF/Library/HOLCF_Library.thy
changeset 76371 1ac2416e8432
parent 41112 866148b76247