doc-src/IsarImplementation/style.sty
changeset 25111 d52a58b51f1f
parent 22868 c82dd66560ac
child 26770 d688166808c0