src/HOLCF/Porder.thy
changeset 35414 cc8e4276d093
parent 31076 99fe356cbbc2
child 39968 d841744718fe