src/HOL/HOLCF/Domain.thy
changeset 42224 578a51fae383
parent 42151 4da4fc77664b
child 46947 b8c7eb0c2f89