doc-src/IsarAdvanced/Functions/Thy/document/Functions.tex
changeset 22910 54d231cbc19a
parent 22065 cdd077905eee
child 23003 4b0bf04a4d68