src/HOL/Isar_examples/document/proof.sty
1999-10-11 wenzelm 1999-10-11 improved presentation;