src/HOL/Isar_examples/document/style.tex
2000-10-03 wenzelm 2000-10-03 tuned;
2000-08-19 wenzelm 2000-08-19 tuned;
2000-03-26 wenzelm 2000-03-26 tuned;
1999-11-17 wenzelm 1999-11-17 added Isar_examples/Puzzle.thy;
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;