doc-src/Contents
2006-12-13 krauss 2006-12-13 added IsarAdvanced/Functions
2006-10-10 haftmann 2006-10-10 added IsarAdvanced material
2006-01-03 wenzelm 2006-01-03 added IsarImplementation;
2005-04-14 kleing 2005-04-14 added LaTeXsugar
2004-11-17 kleing 2004-11-17 removed exercised document
2004-04-16 kleing 2004-04-16 add locales
2004-03-29 kleing 2004-03-29 removed intro to isabelle
2003-05-12 kleing 2003-05-12 added IsarOverview
2003-03-01 kleing 2003-03-01 added Exercises
2002-08-27 wenzelm 2002-08-27 removed IsarTut;
2002-06-14 wenzelm 2002-06-14 IsarTut;
2000-04-19 wenzelm 2000-04-19 TuturialI;
1999-07-19 wenzelm 1999-07-19 added isar-ref;
1999-05-04 wenzelm 1999-05-04 HOL;
1999-01-13 paulson 1999-01-13 new manual ZF
1998-08-26 wenzelm 1998-08-26 added HOL tutorial;
1997-05-12 wenzelm 1997-05-12 added System;
1997-05-12 wenzelm 1997-05-12 added AxClass;
1997-05-12 wenzelm 1997-05-12 list of manuals to be made automatically;