doc-src/IsarImplementation/style.sty
changeset 23512 770e7f9f715b
parent 22868 c82dd66560ac
child 26770 d688166808c0