src/HOL/HOLCF/Domain_Aux.thy
changeset 52435 6646bb548c6b
parent 48891 c0eafbd55de3
child 56511 265816f87386