src/HOLCF/Porder.thy
changeset 33930 6a973bd43949
parent 31076 99fe356cbbc2
child 39968 d841744718fe