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