doc-src/IsarAdvanced/Functions/functions.tex
changeset 21926 1091904ddb19
parent 21212 547224bf9348
child 23003 4b0bf04a4d68
equal deleted inserted replaced
21925:5389dcd524e3 21926:1091904ddb19