doc-src/IsarAdvanced/Functions/Thy/Functions.thy
changeset 26435 bdce320cd426
parent 25688 6c24a82a98f1
child 26580 c3e597a476fd