src/ZF/func.thy
changeset 60680 589ed01b94fe
parent 58871 c399ae4b836f
child 60770 240563fbf41d
equal deleted inserted replaced
60679:ade12ef2773c 60680:589ed01b94fe