doc-src/IsarAdvanced/Functions/intro.tex
changeset 26342 0f65fa163304
parent 23805 953eb3c5f793
child 26851 0242c9c980df