src/HOL/Isar_Examples/document/proof.sty
changeset 82913 7c870287f04f
parent 33026 8f35633c4922