doc/Contents
2004-03-29 kleing 2004-03-29 put in sections, reorganized, removed intro to isabelle
2003-05-12 kleing 2003-05-12 added isar-overview
2003-03-01 kleing 2003-03-01 added exercises
2000-07-04 wenzelm 2000-07-04 tuned;
1999-07-19 wenzelm 1999-07-19 added isar-ref;
1999-05-04 wenzelm 1999-05-04 updated;
1998-08-27 wenzelm 1998-08-27 made tutorial first;
1998-08-26 wenzelm 1998-08-26 fixed tutorial;
1998-08-26 wenzelm 1998-08-26 added HOL tutorial;
1997-05-12 wenzelm 1997-05-12 added system, ind_defs, axclass;
1996-12-09 wenzelm 1996-12-09 Contents - list of available documentation;