isabelle: File revisions

doc/Contents

2007-04-20	haftmann	added class tutorial	file \| diff \| annotate
2006-12-18	haftmann	added functions tutorial	file \| diff \| annotate
2006-10-10	haftmann	added IsarAdvanced material	file \| diff \| annotate
2006-10-02	haftmann	restructured contents	file \| diff \| annotate
2006-01-03	wenzelm	added implementation manual;	file \| diff \| annotate
2004-12-06	kleing	add latex sugar	file \| diff \| annotate
2004-11-17	kleing	removed Exercises document (available on separate web site now)	file \| diff \| annotate
2004-04-16	kleing	add locales	file \| diff \| annotate
2004-03-29	kleing	include exercises again	file \| diff \| annotate
2004-03-29	kleing	put in sections, reorganized, removed intro to isabelle	file \| diff \| annotate
2003-05-12	kleing	added isar-overview	file \| diff \| annotate
2003-03-01	kleing	added exercises	file \| diff \| annotate
2000-07-04	wenzelm	tuned;	file \| diff \| annotate
1999-07-19	wenzelm	added isar-ref;	file \| diff \| annotate
1999-05-04	wenzelm	updated;	file \| diff \| annotate
1998-08-27	wenzelm	made tutorial first;	file \| diff \| annotate
1998-08-26	wenzelm	fixed tutorial;	file \| diff \| annotate
1998-08-26	wenzelm	added HOL tutorial;	file \| diff \| annotate
1997-05-12	wenzelm	added system, ind_defs, axclass;	file \| diff \| annotate
1996-12-09	wenzelm	Contents - list of available documentation;	file \| diff \| annotate

isabelle