doc-src/IsarOverview/Isar/document/isabelle.sty
2007-10-16 wenzelm 2007-10-16 updated;
2007-04-12 wenzelm 2007-04-12 updated;
2006-02-06 wenzelm 2006-02-06 updated;
2005-09-20 wenzelm 2005-09-20 updated;
2005-09-01 wenzelm 2005-09-01 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-28 wenzelm 2005-08-28 updated;
2005-08-19 wenzelm 2005-08-19 updated;
2005-06-09 wenzelm 2005-06-09 updated;
2005-05-02 nipkow 2005-05-02 fixed setsum problem
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-04-17 nipkow 2004-04-17 Added case distinction proof pattern.
2003-05-12 kleing 2003-05-12 IsarOverview moved one level up