src/HOL/Isar_Examples/document/style.tex
changeset 41648 6d736d983d5c
parent 33026 8f35633c4922
child 58882 6e2010ab8bd9