src/HOL/HOLCF/Sfun.thy
changeset 73582 dabe295c3f62
parent 67312 0d25e02759b7
equal deleted inserted replaced
73581:cd84e58aed26 73582:dabe295c3f62