doc-src/IsarImplementation/Thy/locale.thy
changeset 26795 a27607030a1c
parent 20520 05fd007bdeb9