doc-src/Functions/Thy/Functions.thy
changeset 47336 bed4b2738d8a
parent 43042 0f9534b7ea75