doc-src/IsarAdvanced/Functions/Thy/Functions.thy
changeset 25571 c9e39eafc7a0
parent 25278 3026df96941d
child 25688 6c24a82a98f1