doc/Contents
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;