doc-src/IsarImplementation/Thy/locale.thy
changeset 26021 25d06476727e
parent 20520 05fd007bdeb9