src/HOL/HOLCF/Sfun.thy
changeset 41286 3d7685a4a5ff
parent 40774 0437dbc127b3
child 42151 4da4fc77664b