doc-src/IsarAdvanced/Functions/Thy/document/Functions.tex
changeset 28603 b40800eef8a7
parent 27026 3602b81665b5
child 29297 62e0f892e525