doc-src/IsarAdvanced/Functions/functions.tex
changeset 23252 67268bb40b21
parent 23188 595a0e24bd8e
child 23805 953eb3c5f793