src/HOLCF/Universal.thy
changeset 37819 000049335247
parent 36452 d37c6eed8117
child 39974 b525988432e9