doc-src/IsarOverview/Isar/document/root.tex
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;
2007-11-13 nipkow 2007-11-13 updated
2007-11-11 nipkow 2007-11-11 updates
2004-04-17 nipkow 2004-04-17 Added case distinction proof pattern.
2004-02-12 nipkow 2004-02-12 Missing } inserted
2003-05-12 kleing 2003-05-12 IsarOverview moved one level up