doc-src/IsarAdvanced/Functions/Thy/Functions.thy
changeset 23027 2ca265156256
parent 23003 4b0bf04a4d68
child 23188 595a0e24bd8e