src/HOL/Isar_examples/document/style.tex
1999-10-30 wenzelm 1999-10-30 improved presentation;
1999-10-28 wenzelm 1999-10-28 improved presentation;
1999-10-15 wenzelm 1999-10-15 improved presentation;
1999-10-14 wenzelm 1999-10-14 improved presentation;
1999-10-11 wenzelm 1999-10-11 improved presentation;
1999-10-09 wenzelm 1999-10-09 improved;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;