doc-src/IsarOverview/Isar/document/isabelle.sty
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