src/HOLCF/Domain.thy
changeset 23886 f40fba467384
parent 23376 53317a1ec8b2
child 25806 2b976fcee6e5
equal deleted inserted replaced
23885:09254a1622e3 23886:f40fba467384