doc-src/IsarImplementation/style.sty
changeset 19648 702843484da6
parent 18554 bff7a1466fe4
child 20024 553d48cac687