src/HOL/HOLCF/Universal.thy
changeset 78659 b5f3d1051b13
parent 73869 7181130f5872
child 80175 200107cdd3ac