src/HOLCF/LowerPD.thy
changeset 36874 8160596aeb65
parent 36635 080b755377c0
child 37770 cddb3106adb8
equal deleted inserted replaced
36868:b78d3c87fc88 36874:8160596aeb65