src/HOL/HOLCF/Sfun.thy
changeset 41286 3d7685a4a5ff
parent 40774 0437dbc127b3
child 42151 4da4fc77664b
equal deleted inserted replaced
41285:efd23c1d9886 41286:3d7685a4a5ff