doc-src/IsarImplementation/Thy/locale.thy
changeset 23512 770e7f9f715b
parent 20520 05fd007bdeb9